Proving consistency of VDM models using HOL

Sander Vermolen, Jozef Hooman, Peter Gorm Larsen. Proving consistency of VDM models using HOL. In Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. pages 2503-2510, ACM, 2010. [doi]

Abstract

Abstract is missing.