Search Results - "Program verification."

Refine Results
  1. 11

    Software verification and validation realistic project approaches Michael S. Deutsch. by Deutsch, Michael S.

    Published 1982
    Book


    Cover Image
  2. 12

    Formal methods of program verification and specification

    Published 1982
    Book


    Cover Image
  3. 13

    Representation-independent program analysis. by Strout, Michelle Mills

    Article


    Cover Image
  4. 14

    Automated data verification in a format-free environment. by Collins, Michael

    Article


    Cover Image
  5. 15

    Advances in model-based software testing (A-MOST). by Dalal, Siddhartha R.

    Article


    Cover Image
  6. 16

    Invariants and state in testing and formal methods. by Hamlet, Dick

    Article


    Cover Image
  7. 17

    A classification system and analysis for aspect-oriented programs. by Rinard, Martin

    Article


    Cover Image
  8. 18

    Assume-guarantee testing. by Blundell, Colin

    Article


    Cover Image
  9. 19

    Heuristic-guided counterexample search in FLAVERS. by Tan, Jianbin

    Article


    Cover Image
  10. 20

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

    Article


    Cover Image

Search Tools: