Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems,
Greenbelt, MD, December 2–4, 2002.
208 Martin Croxford and Roderick Chapman (Praxis High Integrity Systems), “Correctness by Construction: a
Manifesto for High-Integrity Software,” CrossTalk: The Journal of Defense Software Engineering 18,