Matches in DBpedia 2014 for { <http://dbpedia.org/resource/BLAST_model_checker> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items 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 wikiPageExternalLink blast.
- BLAST_model_checker wikiPageID "1044109".
- BLAST_model_checker wikiPageRevisionID "585776146".
- BLAST_model_checker hasPhotoCollection BLAST_model_checker.
- BLAST_model_checker subject Category:Model_checkers.
- BLAST_model_checker subject Category:Static_program_analysis_tools.
- BLAST_model_checker type Assistant109815790.
- BLAST_model_checker type Attendant109821831.
- BLAST_model_checker type CausalAgent100007347.
- BLAST_model_checker type Checker109913110.
- BLAST_model_checker type LivingThing100004258.
- BLAST_model_checker type ModelCheckers.
- BLAST_model_checker type Object100002684.
- BLAST_model_checker type Organism100004475.
- BLAST_model_checker type Person100007846.
- BLAST_model_checker type PhysicalEntity100001930.
- BLAST_model_checker type Whole100003553.
- BLAST_model_checker type Worker109632518.
- BLAST_model_checker type YagoLegalActor.
- BLAST_model_checker type YagoLegalActorGeo.
- 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 (статический анализатор)".
- BLAST_model_checker label "BLAST model checker".
- BLAST_model_checker sameAs m.0411_w.
- BLAST_model_checker sameAs Q4034701.
- BLAST_model_checker sameAs Q4034701.
- BLAST_model_checker sameAs BLAST_model_checker.
- BLAST_model_checker wasDerivedFrom BLAST_model_checker?oldid=585776146.
- BLAST_model_checker isPrimaryTopicOf BLAST_model_checker.