1 paper
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…