Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. S. Agerholm. A HOL Basis for Reasoning about Functional Programs. PhD thesis, BRICS, Department of Computer Science, University of Aarhus, December 1994. Available as Technical Report RS-94-44.
2. S. Agerholm. LCF examples in HOL. The Computer Journal, 38(2), 1995.
3. J. Bicarregui, J. Fitzgerald, P. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A Practitioner's Guide. FACIT. Springer-Verlag, 1994. ISBN 3-540-19813-X.
4. R. J. Boulton, A. D. Gordon, M. J. C. Gordon, J. R. Harrison, J. M. J. Herbert, and J. Van Tassel. Experience with embedding hardware description languages in HOL. In V. Stavridou, T. F. Melham, and R. T. Boute, editors, Theorem Provers in Circuit Design: Theory, Practice and Experience: Proceedings of the IFIP TC10/WG 10.2 International Conference, IFIP Transactions A-10, pages 129–156. North-Holland, June 1992.
5. G. Collins and D. Syme. A theory of finite maps. In E. T. Schubert, P. J. Windley, and J. Alves-Foss, editors, Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and its Applications. Springer-Verlag, September 1995. LNCS 971.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Releasing VDM proof obligations with SMT solvers;Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design;2017-09-29
2. The Typed Logic of Partial Functions and the Vienna Development Method;Logics of Specification Languages;2007-12-05
3. An Isabelle-based theorem prover for VDM-SL;Lecture Notes in Computer Science;1997
4. Verification of reactive systems using DisCo and PVS;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997
5. Towards an Integrated CASE and theorem proving tool for VDM-SL;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997