M. Archer
Mar 26, 1999
Citations
0
Influential Citations
3
Citations
Journal
Journal name not available for this finding
Abstract
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.