Using ABC to prototype VDM specifications
Aaron Kans, Clive Hayton · ACM SIGPLAN Notices · 1994
ABC is a high-level, easy-to-use imperative language, designed originally as a replacement for BASIC. Although intended primarily as a teaching language, it has many powerful attributes that make it suitable as a language for the rapid prototyping of formal specifications. This paper illustrates how ABC was used to prototype specifications written in the formal specification language of VDM.