Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/LTSmin> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- LTSmin abstract "LTSmin (short for “Minimization and Instantiation of Labelled Transition Systems”) is an award-winning tool-set formanipulation and model checking of state transition systems. Its strengthsare language-independents and high-performance parallel (multi-coreand distributed) model checking. It offers explicit state as well as symbolic model checking.The following prominent specification languages are currently supported: Promela UPPAAL language mCRL2The tool-set has been developed at University of Twente, Netherlands.".
- LTSmin wikiPageExternalLink ltsmin.
- LTSmin wikiPageExternalLink fmt.ewi.utwente.nl.
- LTSmin wikiPageID "38869677".
- LTSmin wikiPageLength "1008".
- LTSmin wikiPageOutDegree "10".
- LTSmin wikiPageRevisionID "609911427".
- LTSmin wikiPageWikiLink Category:Model_checkers.
- LTSmin wikiPageWikiLink Distributed_computing.
- LTSmin wikiPageWikiLink MCRL2.
- LTSmin wikiPageWikiLink Model_checking.
- LTSmin wikiPageWikiLink Multi-core_processor.
- LTSmin wikiPageWikiLink Promela.
- LTSmin wikiPageWikiLink Specification_language.
- LTSmin wikiPageWikiLink State_transition_system.
- LTSmin wikiPageWikiLink Transition_system.
- LTSmin wikiPageWikiLink University_of_Twente.
- LTSmin wikiPageWikiLink Uppaal.
- LTSmin wikiPageWikiLink Uppaal_Model_Checker.
- LTSmin wikiPageWikiLinkText "LTSmin".
- LTSmin hasPhotoCollection LTSmin.
- LTSmin wikiPageUsesTemplate Template:Formalmethods-stub.
- LTSmin wikiPageUsesTemplate Template:Refimprove.
- LTSmin wikiPageUsesTemplate Template:Reflist.
- LTSmin subject Category:Model_checkers.
- LTSmin type Method.
- LTSmin type Tool.
- LTSmin comment "LTSmin (short for “Minimization and Instantiation of Labelled Transition Systems”) is an award-winning tool-set formanipulation and model checking of state transition systems. Its strengthsare language-independents and high-performance parallel (multi-coreand distributed) model checking.".
- LTSmin label "LTSmin".
- LTSmin sameAs m.0ryt9vm.
- LTSmin sameAs Q16948350.
- LTSmin sameAs Q16948350.
- LTSmin wasDerivedFrom LTSmin?oldid=609911427.
- LTSmin isPrimaryTopicOf LTSmin.