Skip to search formSkip to main contentSkip to account menu

UPPAAL

Known as: UMC 
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
C++Formal methodsJavaList of model checking tools

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
2012
2012
WST: a tool supporting timed composite Web Services Model transformation
In this paper we introduce a tool called the Web Service Translation tool (WST), which we are developing to implement a… 
2012
2012
Conformance testing for cyber-physical systems
Cyber-Physical Systems (CPS) require a high degree of reliability and robustness. Hence it is important to assert their… 
2009
2009
PRET-C: A new language for programming precision timed architectures
Precision Timed Architectures (PRET) are a recent proposal for designing processors for real-time embedded systems. These… 
2009
2009
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication… 
Highly Cited
2006
Highly Cited
2006
Representation, Verification, and Computation of Timed Properties in Web
In this paper we address the problem of qualitative and quantitative analysis of timing aspects of Web service compositions… 
Highly Cited
2006
Highly Cited
2006
SaveCCM: An Analysable Component Model for Real-Time Systems
Highly Cited
2006
Highly Cited
2006
Timed modelling and analysis in Web service compositions
In this paper we present an approach for modelling and analyzing time-related properties of Web service compositions defined as a… 
Highly Cited
2001
Highly Cited
2001
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams
1996
1996
Uniformity for the Decidability of Hybrid Automata
We present some new decidability results on the verification of hybrid automata by symbolic analysis (abstract interpretation… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)