Author:
Mitra Sayan,Chandy K. Mani
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Tempo toolset, version 0.2.2 beta (January 2008),
http://www.veromodo.com/tempo/
2. Archer, M.: PVS Strategies for special purpose theorem proving. Annals of Mathematics and Artificial Intelligence 29(1/4) (February 2001)
3. Archer, M., Heitmeyer, C., Sims, S.: TAME: A PVS interface to simplify proofs for automata models. In: Proceedings of UITP 1998 (July 1998)
4. Archer, M., Lim, H., Lynch, N., Mitra, S., Umeno, S.: Specifying and proving properties of timed I/O automata using Tempo. Design Automation for Embedded Systems (to appear, 2008)
5. Lecture Notes in Computer Science;L. Bulwahn,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献