Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CPAchecker> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- CPAchecker abstract "CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs. Some of its ideas and concepts, for example lazy abstraction, were inherited from the software model checker BLAST.CPAchecker is based on the idea of configurable program analysiswhich is a concept that allows expression of both model checking and program analysis with one formalism.When executed, CPAchecker performs a reachability analysis, i.e., it checks whether a certain state, which violates a given specification, can potentially be reached.One application of CPAchecker is the verification of Linux device drivers.".
- CPAchecker wikiPageExternalLink cpachecker.sosy-lab.org.
- CPAchecker wikiPageID "37859257".
- CPAchecker wikiPageRevisionID "585006123".
- CPAchecker hasPhotoCollection CPAchecker.
- CPAchecker subject Category:Abstract_interpretation.
- CPAchecker subject Category:C_programming_language_family.
- CPAchecker subject Category:Formal_methods_tools.
- CPAchecker subject Category:Java_platform_software.
- CPAchecker subject Category:Software_testing_tools.
- CPAchecker comment "CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs.".
- CPAchecker label "CPAchecker".
- CPAchecker sameAs m.0n_9wvr.
- CPAchecker sameAs Q5013609.
- CPAchecker sameAs Q5013609.
- CPAchecker wasDerivedFrom CPAchecker?oldid=585006123.
- CPAchecker homepage cpachecker.sosy-lab.org.
- CPAchecker isPrimaryTopicOf CPAchecker.