Tempo 0.2.2 Beta
17 views
Skip to first unread message
Carleton
Feb 6, 2008, 4:27:16 PM2/6/08
to Tempo Tools
We have just posted the next release of Tempo, 0.2.2 Beta.
The highlights are:
- New syntax for Quantifiers over Sets.
- A new version of the TIOA to UPPAAL model checker plugin.
- Improved syntax for nested composite automata.
- Several improvements on how paired input and output actions are
simulated in composite automata.
For more details please see the ReleaseNotes.pdf included with the
release.
The highlights are:
- New syntax for Quantifiers over Sets.
- A new version of the TIOA to UPPAAL model checker plugin.
- Improved syntax for nested composite automata.
- Several improvements on how paired input and output actions are
simulated in composite automata.
For more details please see the ReleaseNotes.pdf included with the
release.
Reply all
Reply to author
Forward
0 new messages