BLAST model checker

Property	Value
rdf:type	owl:NamedIndividual Static program analysis tool Free software testing tool Model checking tool
rdfs:label	BLAST model checker
owl:sameAs	dbr:BLAST_model_checker
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Static_program_analysis_tools http://en.wikipedia.org/wiki/Category:Free_software_testing_tools http://en.wikipedia.org/wiki/List_of_model_checking_tools http://en.wikipedia.org/wiki/Model_checking
skos:prefLabel	BLAST model checker
skos:altLabel	BLAST model checker BLAST (Berkeley Lazy Abstraction Software verification Tool) the software model checker BLAST
clgo:author	University of California, Berkeley
clgo:developer	Institute for System Programming
clgo:genre	Test automation Programming tool Static program analysis
clgo:latestReleaseDate	2015-10-30
clgo:latestReleaseVersion	2.7.3
clgo:license	Apache License
clgo:operatingSystem	Linux
clgo:programmingLanguage	OCaml

About: clgr:BLAST_model_checker