by Craig Damon and Geoff Langdale
Text view of the output of the Nitpick
Counter-example Analyzer, a system to visualize the
counter examples discovered by the
Nitpick analyzer for software
specifications in
Z.
Graph view of the same data as
above.
Dialog box to choose which variables are
displayed.