About: BLAST model checker

Property	Value
dbo:author	dbr:University_of_California,_Berkeley
dbo:description	Software (de) perangkat lunak (in) програмне забезпечення (uk) Berkeley Lazy Abstraction Software verification Tool (en)
dbo:developer	dbr:Institute_for_System_Programming
dbo:genre	dbr:Static_program_analysis
dbo:latestReleaseDate	2015-10-30 (xsd:date)
dbo:latestReleaseVersion	2.7.3
dbo:license	dbr:Apache_License
dbo:operatingSystem	dbr:Linux
dbo:programmingLanguage	dbr:OCaml
dbo:wikiPageExternalLink	http://forge.ispras.ru/projects/blast/ http://mtc.epfl.ch/software-tools/blast/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:On_the_fly dbc:Model_checkers dbr:Counterexample dbr:Institute_for_System_Programming dbc:Software_using_the_Apache_license dbr:Grenoble dbr:Linux dbr:Rome dbr:Tallinn dbr:OCaml dbr:Software dbr:C_(programming_language) dbr:University_of_California,_Berkeley dbc:Free_software_testing_tools dbc:Static_program_analysis_tools dbr:Apache_Software_License dbr:Static_code_analysis dbr:Precision_(arithmetic)
dbp:author	Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Berkeley (en)
dbp:developer	Mikhail Mandrykin, Vadim Mutilin, Pavel Shved, Institute for System Programming (en)
dbp:genre	dbr:Static_program_analysis
dbp:latestReleaseDate	2015-10-30 (xsd:date)
dbp:latestReleaseVersion	2.700000 (xsd:double)
dbp:license	dbr:Apache_License
dbp:name	BLAST (en)
dbp:operatingSystem	dbr:Linux
dbp:programmingLanguage	dbr:OCaml
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Start_date_and_age dbt:Reflist dbt:Programming-software-stub dbt:Cite_journal dbt:URL dbt:Infobox_software dbt:Refend dbt:Refbegin
dct:subject	dbc:Model_checkers dbc:Software_using_the_Apache_license dbc:Free_software_testing_tools dbc:Static_program_analysis_tools
gold:hypernym	dbr:Tool
rdf:type	owl:Thing wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	BLAST model checker (en) BLAST (статический анализатор) (ru)
owl:sameAs	freebase:BLAST model checker wikidata:BLAST model checker dbpedia-ru:BLAST model checker dbpedia-global:BLAST model checker
prov:wasDerivedFrom	wikipedia-en:BLAST_model_checker?oldid=1229773842&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:BLAST_model_checker
foaf:name	BLAST (en)
is dbo:wikiPageRedirects of	dbr:BLAST_(Berkeley_Lazy_Abstraction_Software_Verification_Tool) dbr:Berkeley_lazy_abstraction_toolkit dbr:Blast_Model_Checker dbr:Blast_model_checker
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:Device_driver_synthesis_and_verification dbr:List_of_tools_for_static_code_analysis dbr:CPAchecker dbr:List_of_model_checking_tools dbr:SLAM_project dbr:BLAST_(Berkeley_Lazy_Abstraction_Software_Verification_Tool) dbr:Berkeley_lazy_abstraction_toolkit dbr:Blast_Model_Checker dbr:Blast_model_checker
is foaf:primaryTopic of	wikipedia-en:BLAST_model_checker