Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/CPAchecker> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples 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 wikiPageLength "4036".
- CPAchecker wikiPageOutDegree "18".
- CPAchecker wikiPageRevisionID "696164391".
- CPAchecker wikiPageWikiLink BLAST_model_checker.
- CPAchecker wikiPageWikiLink C_(programming_language).
- CPAchecker wikiPageWikiLink Category:Abstract_interpretation.
- CPAchecker wikiPageWikiLink Category:C_programming_language_family.
- CPAchecker wikiPageWikiLink Category:Formal_methods_tools.
- CPAchecker wikiPageWikiLink Category:Java_platform_software.
- CPAchecker wikiPageWikiLink Category:Software_testing_tools.
- CPAchecker wikiPageWikiLink Category:Static_program_analysis_tools.
- CPAchecker wikiPageWikiLink Control_flow_graph.
- CPAchecker wikiPageWikiLink Device_driver.
- CPAchecker wikiPageWikiLink Formal_verification.
- CPAchecker wikiPageWikiLink Linux_kernel.
- CPAchecker wikiPageWikiLink Model_checking.
- CPAchecker wikiPageWikiLink Program_analysis.
- CPAchecker wikiPageWikiLink Reachability.
- CPAchecker wikiPageWikiLink Rome.
- CPAchecker wikiPageWikiLink Tallinn.
- CPAchecker wikiPageWikiLinkText "CPAchecker".
- CPAchecker wikiPageUsesTemplate Template:Official_website.
- CPAchecker wikiPageUsesTemplate Template:Reflist.
- 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 subject Category:Static_program_analysis_tools.
- CPAchecker hypernym Framework.
- CPAchecker type Software.
- CPAchecker type Method.
- CPAchecker type Tool.
- CPAchecker comment "CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs.".
- CPAchecker label "CPAchecker".
- CPAchecker sameAs Q5013609.
- CPAchecker sameAs m.0n_9wvr.
- CPAchecker sameAs Q5013609.
- CPAchecker wasDerivedFrom CPAchecker?oldid=696164391.
- CPAchecker homepage cpachecker.sosy-lab.org.
- CPAchecker isPrimaryTopicOf CPAchecker.