Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Rabbit_Model_Checker> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- Rabbit_Model_Checker abstract "Rabbit is a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD size. This leads to a significant performance improvement.".
- Rabbit_Model_Checker wikiPageExternalLink Rabbit.
- Rabbit_Model_Checker wikiPageID "1044097".
- Rabbit_Model_Checker wikiPageRevisionID "490480562".
- Rabbit_Model_Checker hasPhotoCollection Rabbit_Model_Checker.
- Rabbit_Model_Checker subject Category:Model_checkers.
- Rabbit_Model_Checker type Assistant109815790.
- Rabbit_Model_Checker type Attendant109821831.
- Rabbit_Model_Checker type CausalAgent100007347.
- Rabbit_Model_Checker type Checker109913110.
- Rabbit_Model_Checker type LivingThing100004258.
- Rabbit_Model_Checker type ModelCheckers.
- Rabbit_Model_Checker type Object100002684.
- Rabbit_Model_Checker type Organism100004475.
- Rabbit_Model_Checker type Person100007846.
- Rabbit_Model_Checker type PhysicalEntity100001930.
- Rabbit_Model_Checker type Whole100003553.
- Rabbit_Model_Checker type Worker109632518.
- Rabbit_Model_Checker type YagoLegalActor.
- Rabbit_Model_Checker type YagoLegalActorGeo.
- Rabbit_Model_Checker comment "Rabbit is a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD size. This leads to a significant performance improvement.".
- Rabbit_Model_Checker label "Rabbit Model Checker".
- Rabbit_Model_Checker sameAs m.0411zh.
- Rabbit_Model_Checker sameAs Q7278605.
- Rabbit_Model_Checker sameAs Q7278605.
- Rabbit_Model_Checker sameAs Rabbit_Model_Checker.
- Rabbit_Model_Checker wasDerivedFrom Rabbit_Model_Checker?oldid=490480562.
- Rabbit_Model_Checker isPrimaryTopicOf Rabbit_Model_Checker.