Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/BLAST_model_checker> ?p ?o }
Showing triples 1 to 83 of
83
with 100 triples per page.
- BLAST_model_checker abstract "The Berkeley Lazy Abstraction Software Verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the need to check whether software satisfies the behavioral requirements of its associated interfaces. BLAST employs counterexample-driven automatic abstraction refinement to construct an abstract model that is then model-checked for safety properties. The abstraction is constructed on the fly, and only to the requested precision.".
- BLAST_model_checker author University_of_California,_Berkeley.
- BLAST_model_checker developer Institute_for_System_Programming.
- BLAST_model_checker genre Static_program_analysis.
- BLAST_model_checker latestReleaseDate "2014-11-18".
- BLAST_model_checker latestReleaseVersion "2.7.3".
- BLAST_model_checker license Apache_License.
- BLAST_model_checker operatingSystem Linux.
- BLAST_model_checker programmingLanguage OCaml.
- BLAST_model_checker wikiPageExternalLink blast.
- BLAST_model_checker wikiPageExternalLink blast.
- BLAST_model_checker wikiPageExternalLink blast.
- BLAST_model_checker wikiPageID "1044109".
- BLAST_model_checker wikiPageLength "4686".
- BLAST_model_checker wikiPageOutDegree "19".
- BLAST_model_checker wikiPageRevisionID "679050927".
- BLAST_model_checker wikiPageWikiLink Apache_License.
- BLAST_model_checker wikiPageWikiLink Apache_Software_License.
- BLAST_model_checker wikiPageWikiLink C_(programming_language).
- BLAST_model_checker wikiPageWikiLink Category:Free_software_testing_tools.
- BLAST_model_checker wikiPageWikiLink Category:Model_checkers.
- BLAST_model_checker wikiPageWikiLink Category:Software_using_the_Apache_license.
- BLAST_model_checker wikiPageWikiLink Category:Static_program_analysis_tools.
- BLAST_model_checker wikiPageWikiLink Counterexample.
- BLAST_model_checker wikiPageWikiLink Grenoble.
- BLAST_model_checker wikiPageWikiLink Institute_for_System_Programming.
- BLAST_model_checker wikiPageWikiLink Linux.
- BLAST_model_checker wikiPageWikiLink Model_checking.
- BLAST_model_checker wikiPageWikiLink OCaml.
- BLAST_model_checker wikiPageWikiLink On_the_Fly.
- BLAST_model_checker wikiPageWikiLink On_the_fly.
- BLAST_model_checker wikiPageWikiLink Precision_(arithmetic).
- BLAST_model_checker wikiPageWikiLink Rome.
- BLAST_model_checker wikiPageWikiLink Significant_figures.
- BLAST_model_checker wikiPageWikiLink Software.
- BLAST_model_checker wikiPageWikiLink Static_code_analysis.
- BLAST_model_checker wikiPageWikiLink Static_program_analysis.
- BLAST_model_checker wikiPageWikiLink Tallinn.
- BLAST_model_checker wikiPageWikiLink University_of_California,_Berkeley.
- BLAST_model_checker wikiPageWikiLinkText "BLAST model checker".
- BLAST_model_checker wikiPageWikiLinkText "BLAST".
- BLAST_model_checker wikiPageWikiLinkText "model checker BLAST (Berkeley Lazy Abstraction Software verification Tool)".
- BLAST_model_checker wikiPageWikiLinkText "the software model checker BLAST".
- BLAST_model_checker author "Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Berkeley".
- BLAST_model_checker developer "Mikhail Mandrykin, Vadim Mutilin, Pavel Shved, Institute for System Programming".
- BLAST_model_checker genre Static_code_analysis.
- BLAST_model_checker genre Static_program_analysis.
- BLAST_model_checker hasPhotoCollection BLAST_model_checker.
- BLAST_model_checker latestReleaseDate "2014-11-18".
- BLAST_model_checker latestReleaseVersion "2.7".
- BLAST_model_checker license Apache_License.
- BLAST_model_checker license Apache_Software_License.
- BLAST_model_checker name "BLAST".
- BLAST_model_checker operatingSystem Linux.
- BLAST_model_checker programmingLanguage OCaml.
- BLAST_model_checker website blast.
- BLAST_model_checker wikiPageUsesTemplate Template:Cite_book.
- BLAST_model_checker wikiPageUsesTemplate Template:Cite_journal.
- BLAST_model_checker wikiPageUsesTemplate Template:Compu-stub.
- BLAST_model_checker wikiPageUsesTemplate Template:Infobox_software.
- BLAST_model_checker wikiPageUsesTemplate Template:Reflist.
- BLAST_model_checker subject Category:Free_software_testing_tools.
- BLAST_model_checker subject Category:Model_checkers.
- BLAST_model_checker subject Category:Software_using_the_Apache_license.
- BLAST_model_checker subject Category:Static_program_analysis_tools.
- BLAST_model_checker hypernym Tool.
- BLAST_model_checker type Software.
- BLAST_model_checker type Work.
- BLAST_model_checker type Tool.
- BLAST_model_checker type CreativeWork.
- BLAST_model_checker type Thing.
- BLAST_model_checker type Q386724.
- BLAST_model_checker type Q7397.
- BLAST_model_checker comment "The Berkeley Lazy Abstraction Software Verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the need to check whether software satisfies the behavioral requirements of its associated interfaces. BLAST employs counterexample-driven automatic abstraction refinement to construct an abstract model that is then model-checked for safety properties. The abstraction is constructed on the fly, and only to the requested precision.".
- BLAST_model_checker label "BLAST model checker".
- BLAST_model_checker sameAs m.0411_w.
- BLAST_model_checker sameAs BLAST_(статический_анализатор).
- BLAST_model_checker sameAs Q4034701.
- BLAST_model_checker sameAs Q4034701.
- BLAST_model_checker wasDerivedFrom BLAST_model_checker?oldid=679050927.
- BLAST_model_checker homepage blast.
- BLAST_model_checker isPrimaryTopicOf BLAST_model_checker.
- BLAST_model_checker name "BLAST".