Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies.
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
The tool TAME is intended to provide automated support to simplify specifying and reasoning about timed automata using PVS. This report documents the current specification template, standard theories, and PVS strategies upon which TAME is based. The TAME system is now available for limited distribution by contracting the author.