Search Results - "program verification"

Suggested Topics within your search.
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Software engineering analysis and verification

    Software engineering analysis and verification by Lewis, T. G. (Theodore Gyle), 1941-

    Published 1982
    Subjects: “…Computer programs Verification…”
    Book

    Save to List
    Saved in:
  2. 2
    Automatic C Program Verification Based on Mixed Axiomatic Semantics

    Automatic C Program Verification Based on Mixed Axiomatic Semantics by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

    Published 2013-12-01
    Subjects: “…program verification…”
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Software verification and validation : realistic project approaches /

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

    Published 1982
    Subjects:
    Book

    Save to List
    Saved in:
  4. 4
    C-programs Verification on Basis of Mixed Axiomatic Semantics

    C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

    Published 2010-09-01
    Subjects: “…<i>program verification</i>…”
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: