ataoproject

Description

Model checker based on Alternating Timed Automata (with one clock) written in Python.

• Lead: lordgordonita
• Key:ATAOPROJECT

MoreIssues: Due

• ATAOPROJECT-4 2010-02-01T15-00 2010-02-01T15-11 Add MTL support
• ATAOPROJECT-5 2010-02-01T15-01 2010-02-01T15-08 Update test case
• ATAOPROJECT-2 2010-02-01T14-48 2010-02-03T14-54 Factory for all System H objects

Issues: 30 Day Summary

Issues: 0 created and 0 resolved

MoreIssues: Updated recently

• ATAOPROJECT-2 2010-02-01T14-48 03/Feb/10 Factory for all System H objects
• ATAOPROJECT-8 2010-02-03T14-01 03/Feb/10 Memory Profiler
• ATAOPROJECT-7 2010-02-01T15-48 01/Feb/10 Better run-time data types

MoreVersions: Due

• 1.1 beta Release Date: 13/Feb/10
• 1.5 beta Release Date: 20/Feb/10
• 1.5 RC 1 Release Date: 28/Feb/10

Activity Stream