Pictures from the Nitpick Counter-example Analyzer project

in 15-820 (B) Advanced Topics In HCI: User Interface Software, Spring, 1996

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.
Back to the Projects page