This HTML5 document contains 14 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

dbpedia:Uppaal_Model_Checker

rdfs: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.

foaf:name

UPPAAL

foaf:homepage

n5:

dbpedia-owl:developer

dbpedia:Aalborg_University dbpedia:Uppsala_University

dbpedia-owl:genre

dbpedia:Model_checking

dbpedia-owl:language

dbpedia:English_language

dbpedia-owl:latestPreviewVersion

4.1.19

dbpedia-owl:latestReleaseVersion

4.0.13

dbpedia-owl:license

dbpedia:Academic_Licenses dbpedia:Commercial_Licenses

dbpedia-owl:operatingSystem

dbpedia:Linux dbpedia:OS_X dbpedia:Microsoft_Windows