This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 29

Summary: Extend the modelling language with constructions from C
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   

Description Gerd Behrmann 2003-07-02 11:28:28 CEST
The modelling language of UPPAAL can quite naturally be extended with a subset
of the C programming language.
Comment 1 Gerd Behrmann 2004-10-19 20:32:37 CEST
Most of this has now been implemented in the development branch. If you want to
try it, you can download the latest UPTA version of UPPAAL at

The UPTA version is based on the development and hence also contains support for
a C like constructs.
Comment 2 Gerd Behrmann 2005-08-25 16:16:28 CEST
I'm closing this bug, as most of this is implemented in UPPAAL 3.5. Things like switch, break and continue 
are missing, but specific bugs for those missing features should be created.