The talk will include some general comments on the use of formal methods early in the 21st century and then focus on Z in particular. It will cover the status of the standardization effort, the role of Z in real software development projects and enough examples to convey something of the "look and feel" of the language. I won't attempt to tell you anything about Ada, but will discuss how Z has been used successfully in conjunction with SPARK.

new September 5, 2002