1 citations · 1 across the 4 of their papers we have counts for
4 papers
Further Progress Towards Operation Proof Obligation Generation for VDM
Nick Battle, Carlo Rende, Peter Gorm Larsen
The VDM formalism can ensure that models are internally consistent. Potential inconsistencies are highlighted by assertions called proof obligations. This paper is an update to the…
Towards Operation Proof Obligation Generation for VDM
Nick Battle, Peter Gorm Larsen
All formalisms have the ability to ensure that their models are internally consistent. Potential inconsistencies are generally highlighted by assertions called proof obligations, a…
QuickCheck for VDM
Nick Battle, Markus Solecki Ellyton
We describe recent work on a lightweight verification tool for VDM specifications, called QuickCheck. The objective of the tool is to quickly categorise proof obligations: identify…
Bidirectional UML Visualisation of VDM Models
Jonas Lund, Lucas Bjarke Jensen, Nick Battle +2
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already e…