Showing 101 - 110 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 101

    Corrigendum Reasoning about knowledge and probability?. by Fagin, Ronald

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  2. 102

    Software reliability via run-time result-checking. by Wasserman, Hal

    Published in Journal of the ACM
    Article

    Software reliability via run-time result-checking.
  3. 103

    Compositional refinement of interactive systems. by Broy, Manfred

    Published in Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  4. 104

    Assume-guarantee testing. by Blundell, Colin

    Article

    Assume-guarantee testing.
  5. 105

    Component-interaction automata as a verification-oriented component-based system specification. by Brim, Lubo?

    Article

    Component-interaction automata as a verification-oriented component-based system specification.
  6. 106

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. by Mateescu, Radu

    Article

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
  7. 107

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. by Saur, Joe

    Article

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality.
  8. 108

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. by Bradbury, Jeremy S.

    Article

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

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. by Liang, Donglin

    Article

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.
  10. 110

    Link-time static analysis for efficient separate compilation of object-oriented languages. by Privat, Jean

    Article

    Link-time static analysis for efficient separate compilation of object-oriented languages.

Search Tools: