Showing 1 - 10 results of 25 for search '"Model checking."', सवाल का समय: 0.02सेकंड परिणाम को परिष्कृत करें
  1. 1

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. द्वारा Bradbury, Jeremy S.

    में प्रकाशित Software engineering notes.
    लेख

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  2. 2

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. द्वारा Oquendo, Flavio

    में प्रकाशित Software engineering notes.
    लेख

    Formally modelling software architectures with the UML 2.0 profile for π-ADL.
  3. 3

    Reasoning about confidentiality at requirements engineering time. द्वारा De Landtsheer, Renaud

    में प्रकाशित Software engineering notes.
    लेख

    Reasoning about confidentiality at requirements engineering time.
  4. 4

    Fluent temporal logic for discrete-time event-based models. द्वारा Letier, Emmanuel

    में प्रकाशित Software engineering notes.
    लेख

    Fluent temporal logic for discrete-time event-based models.
  5. 5

    Relational analysis of algebraic datatypes. द्वारा Kuncak, Viktor

    में प्रकाशित Software engineering notes.
    लेख

    Relational analysis of algebraic datatypes.
  6. 6

    Joining dataflow with predicates. द्वारा Fischer, Jeffrey

    में प्रकाशित Software engineering notes.
    लेख

    Joining dataflow with predicates.
  7. 7

    CUTE a concolic unit testing engine for C. द्वारा Sen, Koushik

    में प्रकाशित Software engineering notes.
    लेख

    CUTE a concolic unit testing engine for C.
  8. 8

    CHARMY an extensible tool for architectural analysis. द्वारा Inverardi, Paola

    में प्रकाशित Software engineering notes.
    लेख

    CHARMY an extensible tool for architectural analysis.
  9. 9

    Usage model-based automated testing of C++ templates. द्वारा Sayre, Kirk

    में प्रकाशित Software engineering notes.
    लेख

    Usage model-based automated testing of C++ templates.
  10. 10

    Generating optimal distinguishing sequences with a model checker. द्वारा Robinson-Mallett, Christopher

    में प्रकाशित Software engineering notes.
    लेख

    Generating optimal distinguishing sequences with a model checker.

खोज साधन: