DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA361638
Title:
Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies.
Descriptive Note:
Corporate Author:
NAVAL RESEARCH LAB WASHINGTON DC
Report Date:
1999-03-26
Pagination or Media Count:
56.0
Abstract:
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE