Cesg Cheltenham, Dra Malvern, Jonathan Hammond, Peter Lupton, Andrew Martin, John Nicholls, ...
This is a major revision of the Z Standard, replacing all previous versions. It is an updated version of the document presented at the 29th Meeting of the Z
Is Proof More Cost Effective Than Testing (2000)
Steve King, Jonathan Hammond, Rod Chapman, Andy Pryor, Steve King, Jonathan Hammond, ...
Copyright © 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works...
Is Proof More Cost Effective Than Testing (2000)
Steve King, Jonathan Hammond, Rod Chapman, Andy Pryor
AbstractÐThis paper describes the use of formal development methods on an industrial safety-critical application. The Z notation was used for documenting the system specification and part of the...