Showing 1 - 3 results of 3 for search '"extended static checking"', query time: 1.56s Refine Results
  1. 1
    Computer Aided Verification of Relational Models by Strategic Rewriting
    Subjects: “...extended static checking...”
    Get full text
    Article
  2. 2
    Combining over- and under-approximating program analyses for automatic software testing
    by Csallner, Christoph
    Published 2008
    Subjects: “...Extended static checking...”
    Get full text
  3. 3
    The Omnibus language and integrated verification approach
    by Wilson, Thomas
    Published 2007
    Subjects: “...assertion-based verification : run-time assertion checking : extended static checking : full formal...”
    Get full text
Search Tools: Get RSS Feed — Email this Search