Tool support for Z?
Some commercial, some freeware
Formatting (handling all those ???????? characters)
And now some html extensions
Type checkers
Proof editors, proof assistants, provers
Specification animations
…
Most found through http://archive.comlab.ox.ac.uk/z.html
Previous slide
Next slide
Back to first slide
View graphic version