|Summary:||Extend the modelling language with constructions from C|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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 http://www.cs.aau.dk/~behrmann/_guiding/ 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.