A Proof Obligation Generator for the IFAD VDM-SL Toolbox

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. A proof obligation generator for the IFAD VDM-SL Toolbox. Master's thesis, Institute for Software Technology, TU-Graz, Austria, March 1997. Supervisor: Peter Gorm Larsen and Peter Lucas.