Author:
Grobauer Bernd,Müller Olaf
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. The isabelle theories for timed i/o automata and the Generalized Railroad Crossing. available via
http://www.brics.dk/~grobauer/tioa/index.html
.
2. Myla M. Archer and Constance L. Heitmeyer. Mechanical verification of timed automata: A case study. Technical Report NRL/MR/5546-98-8180, Naval Research Laboratory, 1998.
3. Myla M. Archer, Constance L. Heitmeyer, and Steve Sims. TAME: A PVS interface to simplify proofs for automata models. In Proceedings of UITP’ 98, July 1998.
4. Stefan Berghofer. Definitorische Konstruktion induktiver Datentypen in Isabelle/HOL. Master’s thesis, TU München, 1998.
5. Albert J. Camilleri. Mechanizing CSP trace theory in higher order logic. IEEE Transactions on Software Engineering, 16(9):993–1004, 1990.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introduction to Formal Methods;NASA Monographs in Systems and Software Engineering