Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Rabbit_Model_Checker> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples 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 wikiPageLength "969".
- Rabbit_Model_Checker wikiPageOutDegree "6".
- Rabbit_Model_Checker wikiPageRevisionID "490480562".
- Rabbit_Model_Checker wikiPageWikiLink Binary_decision_diagram.
- Rabbit_Model_Checker wikiPageWikiLink Category:Model_checkers.
- Rabbit_Model_Checker wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Rabbit_Model_Checker wikiPageWikiLink Model_checking.
- Rabbit_Model_Checker wikiPageWikiLink Springer_Science+Business_Media.
- Rabbit_Model_Checker wikiPageWikiLink Timed_automaton.
- Rabbit_Model_Checker wikiPageWikiLinkText "Rabbit Model Checker".
- Rabbit_Model_Checker wikiPageWikiLinkText "Rabbit".
- Rabbit_Model_Checker subject Category:Model_checkers.
- Rabbit_Model_Checker hypernym Tool.
- Rabbit_Model_Checker type Software.
- Rabbit_Model_Checker type Tool.
- 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 Q7278605.
- Rabbit_Model_Checker sameAs m.0411zh.
- Rabbit_Model_Checker sameAs Q7278605.
- Rabbit_Model_Checker wasDerivedFrom Rabbit_Model_Checker?oldid=490480562.
- Rabbit_Model_Checker isPrimaryTopicOf Rabbit_Model_Checker.