Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Uppaal_Model_Checker> ?p ?o }
Showing triples 1 to 89 of
89
with 100 triples per page.
- Uppaal_Model_Checker abstract "UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays etc.).The tool has been developed in collaboration between the Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark.There are the following extensions available:Cora for Cost Optimal Reachability Analysis.Tron for Testing Real-time systems ON-line (black-box conformance testing).Cover for COVERerage-optimal off-line test generation.Tiga for TImed GAmes based controller synthesis.Port for component based timed systems, exploiting Partial Order Reduction Techniques.Pro for PRObabilistic reachability analysis.".
- Uppaal_Model_Checker developer Aalborg_University.
- Uppaal_Model_Checker developer Uppsala_University.
- Uppaal_Model_Checker genre Model_checking.
- Uppaal_Model_Checker language English_language.
- Uppaal_Model_Checker latestPreviewVersion "4.1.19".
- Uppaal_Model_Checker latestReleaseVersion "4.0.13".
- Uppaal_Model_Checker license Academic_Licenses.
- Uppaal_Model_Checker license Commercial_Licenses.
- Uppaal_Model_Checker operatingSystem Linux.
- Uppaal_Model_Checker operatingSystem Microsoft_Windows.
- Uppaal_Model_Checker operatingSystem OS_X.
- Uppaal_Model_Checker wikiPageExternalLink des.
- Uppaal_Model_Checker wikiPageExternalLink darts.
- Uppaal_Model_Checker wikiPageExternalLink www.uppaal.com.
- Uppaal_Model_Checker wikiPageExternalLink www.uppaal.org.
- Uppaal_Model_Checker wikiPageID "697254".
- Uppaal_Model_Checker wikiPageLength "2344".
- Uppaal_Model_Checker wikiPageOutDegree "27".
- Uppaal_Model_Checker wikiPageRevisionID "633362100".
- Uppaal_Model_Checker wikiPageWikiLink Aalborg_University.
- Uppaal_Model_Checker wikiPageWikiLink Academic_Licenses.
- Uppaal_Model_Checker wikiPageWikiLink C++.
- Uppaal_Model_Checker wikiPageWikiLink Category:Model_checkers.
- Uppaal_Model_Checker wikiPageWikiLink Chinese_language.
- Uppaal_Model_Checker wikiPageWikiLink Commercial_Licenses.
- Uppaal_Model_Checker wikiPageWikiLink Computing_platform.
- Uppaal_Model_Checker wikiPageWikiLink Danish_language.
- Uppaal_Model_Checker wikiPageWikiLink Data_type.
- Uppaal_Model_Checker wikiPageWikiLink Denmark.
- Uppaal_Model_Checker wikiPageWikiLink English_language.
- Uppaal_Model_Checker wikiPageWikiLink Graphical_user_interface.
- Uppaal_Model_Checker wikiPageWikiLink Japanese_language.
- Uppaal_Model_Checker wikiPageWikiLink Java_(programming_language).
- Uppaal_Model_Checker wikiPageWikiLink Linux.
- Uppaal_Model_Checker wikiPageWikiLink Lithuanian_language.
- Uppaal_Model_Checker wikiPageWikiLink Microsoft_Windows.
- Uppaal_Model_Checker wikiPageWikiLink Model_checking.
- Uppaal_Model_Checker wikiPageWikiLink OS_X.
- Uppaal_Model_Checker wikiPageWikiLink Real-time_computing.
- Uppaal_Model_Checker wikiPageWikiLink Sweden.
- Uppaal_Model_Checker wikiPageWikiLink Timed_automaton.
- Uppaal_Model_Checker wikiPageWikiLink Tool.
- Uppaal_Model_Checker wikiPageWikiLink Uppsala_University.
- Uppaal_Model_Checker wikiPageWikiLinkText "UPPAAL".
- Uppaal_Model_Checker wikiPageWikiLinkText "Uppaal Model Checker".
- Uppaal_Model_Checker developer Aalborg_University.
- Uppaal_Model_Checker developer Uppsala_University.
- Uppaal_Model_Checker genre Model_checking.
- Uppaal_Model_Checker language Chinese_language.
- Uppaal_Model_Checker language Danish_language.
- Uppaal_Model_Checker language English_language.
- Uppaal_Model_Checker language Japanese_language.
- Uppaal_Model_Checker language Lithuanian_language.
- Uppaal_Model_Checker latestPreviewVersion "4.1".
- Uppaal_Model_Checker latestReleaseVersion "4".
- Uppaal_Model_Checker license Academic_Licenses.
- Uppaal_Model_Checker license Commercial_Licenses.
- Uppaal_Model_Checker name "UPPAAL".
- Uppaal_Model_Checker operatingSystem Linux.
- Uppaal_Model_Checker operatingSystem Microsoft_Windows.
- Uppaal_Model_Checker operatingSystem OS_X.
- Uppaal_Model_Checker programmingLanguage "C++ and GUI in Java".
- Uppaal_Model_Checker website www.uppaal.com.
- Uppaal_Model_Checker website www.uppaal.org.
- Uppaal_Model_Checker wikiPageUsesTemplate Template:Formalmethods-stub.
- Uppaal_Model_Checker wikiPageUsesTemplate Template:Infobox_software.
- Uppaal_Model_Checker wikiPageUsesTemplate Template:Release_date_and_age.
- Uppaal_Model_Checker wikiPageUsesTemplate Template:Start_date.
- Uppaal_Model_Checker subject Category:Model_checkers.
- Uppaal_Model_Checker hypernym Environment.
- Uppaal_Model_Checker type Software.
- Uppaal_Model_Checker type Work.
- Uppaal_Model_Checker type Method.
- Uppaal_Model_Checker type Tool.
- Uppaal_Model_Checker type CreativeWork.
- Uppaal_Model_Checker type Thing.
- Uppaal_Model_Checker type Q386724.
- Uppaal_Model_Checker type Q7397.
- Uppaal_Model_Checker comment "UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays etc.).The tool has been developed in collaboration between the Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark.There are the following extensions available:Cora for Cost Optimal Reachability Analysis.Tron for Testing Real-time systems ON-line (black-box conformance testing).Cover for COVERerage-optimal off-line test generation.Tiga for TImed GAmes based controller synthesis.Port for component based timed systems, exploiting Partial Order Reduction Techniques.Pro for PRObabilistic reachability analysis.".
- Uppaal_Model_Checker label "Uppaal Model Checker".
- Uppaal_Model_Checker sameAs Q7898420.
- Uppaal_Model_Checker sameAs UPPAAL.
- Uppaal_Model_Checker sameAs m.033mmw.
- Uppaal_Model_Checker sameAs Q7898420.
- Uppaal_Model_Checker wasDerivedFrom Uppaal_Model_Checker?oldid=633362100.
- Uppaal_Model_Checker homepage www.uppaal.org.
- Uppaal_Model_Checker isPrimaryTopicOf Uppaal_Model_Checker.
- Uppaal_Model_Checker name "UPPAAL".