Proving consistency of VDM models using HOL.

Sander Vermolen, Jozef Hooman, Peter Gorm Larsen

Browse the full SAC paper archive.