1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…