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

Bug 29 - Extend the modelling language with constructions from C
Summary: Extend the modelling language with constructions from C
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: All All
: P2 enhancement
Assignee: Gerd Behrmann
Depends on:
Reported: 2003-07-02 11:28 CEST by Gerd Behrmann
Modified: 2005-08-25 16:16 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.