"Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005" - читать интересную книгу автора (Bertrand Meyer, Jim Woodcock)