Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 26, 1999
Accession Number
ADA361638

Entities

People

  • Myla M. Archer

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Sensors

DTIC Thesaurus Topics

  • Abstracts
  • Actuators
  • Arithmetic
  • Automata
  • Case Studies
  • Computer Science
  • Control Systems
  • Machines
  • Military Research
  • Numbers
  • Reasoning
  • Specifications
  • Splitting
  • Standards
  • Template Patterns
  • User Interface
  • Verification

Readers

  • Computational Linguistics
  • Government Contracting/Procurement.