Author:
Agerholm Sten,Frost Jacob
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S. Agerholm. Mechanizing program verification in HOL. In Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. IEEE Computer Society Press, 1992. A full version is in Technical Report IR-111, University of Aarhus, Department of Computer Science, Denmark.
2. S. Agerholm. Translating specifications in VDM-SL to PVS. In J. von Wright, J. Grundy, and J. Harrison, editors, Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'96), volume 1125 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
3. S. Agerholm and J. Frost. An Isabelle-based theorem prover for VDM-SL. In Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'97), LNCS. Springer-Verlag, August 1997.
4. B. Aichernig and P. G. Larsen. A proof obligation generator for VDM-SL. In FME'97, LNCS. Springer-Verlag, September 1997.
5. H. Barringer, J. H. Cheng, and C. B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251–269, 1984.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献