Showing 1 - 3 results of 3 for search '"c-kernel"', query time: 0.06s Refine Results
  1. 1
    Attribute Annotations and Their Use in C Program Deductive Verification

    Attribute Annotations and Their Use in C Program Deductive Verification by M. M. Atuchin, I. S. Anureev

    Published 2011-12-01
    Subjects:
    Get full text
    Article
    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:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    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:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: