Author:
Chetali Boutheina,Heyd Barbara
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. F. Andersen. A theorem Proyer for UNITY in Higher Order Logic. PhD thesis, Technical University of Denmark, 1992.
2. F. Andersen, K.D. Petersen, and J.S. Pettersson. Program verification using HOL-Unity. In J.J. Joyce and C.H. Seger, editors, Proceedings sixth International Workshop on Higher Order Logic theorem proving and its applications, volume 780 of Lecture Notes in Computer Science, pages 1–15, Vancouver, Canada, August 1993. Springer-Verlag.
3. D Bolignano. Towards a Mechanization of Cryptographic Protocol Verification. In Conference On Computer-Aided Verification, Haifa, Israël, Jun 1997. Springer-Verlag.
4. N. Brown and D. Merl A proof environment for concurrent programs. In In Proceedings FME'93 Symposium, volume 670 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
5. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988. ISBN 0-201-05866-9.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Owicki/Gries in Isabelle/HOL;Fundamental Approaches to Software Engineering;1999