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