Author:
Heyd Barbara,Crégut Pierre
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. F. Andersen, K.D. Petersen, and J.S. Petterson. Program verification using HOL-UNITY. In J.J. Joyce and C.-J.H. Seger, editors, International Workshop on Higher Order Logic Theorem Proving and its Applications, pages 1–16, Vancouver, Canada, August 1993. University of British Columbia, Springer Verlag, Lecture Notes in Computer Science, No. 780, published 1994.
2. Naïma Brown and Dominique Mery. A proof environment for concurrent programs. In FME'93: Industrial-Strength Formal Methods, number 670 in LNCS, pages 196–215, 1993.
3. Th. Coquand and G. Huet. The calculus of constructions. Information and Computation, (76):95–120, 1988.
4. Boutheina Chetali. Formal verification of concurrent programs: How to specify Unity using the Larch Prover. Technical Report 2475, INRIA Lorraine, 1995.
5. K.M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, Austin, Texas, May 1989.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献