More News
Version 1.4 Beta 3 released20 Apr 2007
New preview release with fixes for usability issues. A new user-manual draft is available for building custom adapters.
Version 1.4 Beta 1 released13 Oct 2006
Now supports Windows and Linux, comes with Visual Studio C-library adapter and Java TCP/IP socket adapter examples. No GUI for now. For details see the readme files for Windows and Linux.
Requirements updated15 Nov 2005
Please see the list.
TRON 1.3.3 release26 Sep 2005
TRON 1.3.3 has been released with bug-fixes, major cleanup and new GUI. Now you can interact with UPPAAL models in concrete traces and abstracted away from internal transitions. GUI also demonstrates system emulation and monitoring.
TRON 1.3.3 release26 Sep 2005
TRON 1.3.3 has been released with bug-fixes, major cleanup and new GUI. Now you can interact with UPPAAL models in concrete traces and abstracted away from internal transitions. GUI also demonstrates system emulation and monitoring.
1.3.2 with Bugzilla entry25 Apr 2005
TRON 1.3.2 has been released with several bug-fixes, a latency experiment and a Bugzilla entry has been created to track TRON bugs.
Bug tracking system25 Apr 2005
Now it is possible for everyone to track and report TRON bugs in Uppaal Bug Tracking System.
Bug tracking system25 Apr 2005
Now it is possible for everyone to track and report TRON bugs in Uppaal Bug Tracking System.
TRON entry in Yahoda database8 Mar 2005
After ARTIST2 project meeting and German Verification Day in Oldenburg TRON has been added to YAHODA verification tools database.
New name and new home page1 Mar 2005
We decided to follow the same naming scheme as Uppaal CORA, therefore this next T-Uppaal release got a new, more descriptive name Uppaal TRON and this new home page. The old page with older releases are still available here.