Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Uppaal_Model_Checker> ?p ?o. }
Showing items 1 to 61 of
61
with 100 items 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.13".
- 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 wikiPageRevisionID "511590647".
- Uppaal_Model_Checker developer Aalborg_University.
- Uppaal_Model_Checker developer Uppsala_University.
- Uppaal_Model_Checker genre Model_checking.
- Uppaal_Model_Checker hasPhotoCollection Uppaal_Model_Checker.
- 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 subject Category:Model_checkers.
- Uppaal_Model_Checker type Abstraction100002137.
- Uppaal_Model_Checker type Code106355894.
- Uppaal_Model_Checker type CodingSystem106353757.
- Uppaal_Model_Checker type Communication100033020.
- Uppaal_Model_Checker type Software106566077.
- Uppaal_Model_Checker type Writing106359877.
- Uppaal_Model_Checker type WrittenCommunication106349220.
- Uppaal_Model_Checker type Software.
- Uppaal_Model_Checker type Work.
- Uppaal_Model_Checker type CreativeWork.
- Uppaal_Model_Checker type SoftwareObject.
- Uppaal_Model_Checker type InformationEntity.
- 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 m.033mmw.
- Uppaal_Model_Checker sameAs Q7898420.
- Uppaal_Model_Checker sameAs Q7898420.
- Uppaal_Model_Checker sameAs Uppaal_Model_Checker.
- Uppaal_Model_Checker wasDerivedFrom Uppaal_Model_Checker?oldid=511590647.
- Uppaal_Model_Checker homepage www.uppaal.org.
- Uppaal_Model_Checker isPrimaryTopicOf Uppaal_Model_Checker.
- Uppaal_Model_Checker name "UPPAAL".