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

Personal Author(s):

• Archer, Myla

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.

Descriptors:

• *AUTOMATION
• *VERIFICATION
• *AUTOMATA
• SPECIFICATIONS
• TOOLS
• REASONING
• THEORY
• TIME
• TEMPLATES

Subject Categories:

• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE