211 search results - page 43 / 43 » Implementing and Evaluating a Model Checker for Transactiona... |
ASE
2002
13 years 5 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...