Alternating Timed Automata Solver News
Status: Beta
Brought to you by:
lordgordon
Menu
▾
▴
Posted by
2010-04-10
Posted by
2010-02-15
Posted by
2010-02-15
Alternating Timed Automata Solver / News: Recent posts
ATAO Project 1.2 beta released
First beta version for ATAO Project just released today. MTL to ATAO conversion added in this new release.
2010-04-10
1.1 alpha released
First public alpha release for Alternating Timed Automata Solver Project is now available!
2010-02-15
Ready to 1.1 alpha
The release of 1.1 alpha version is coming. This is the last alpha version: the project is now in beta.
2010-02-15