Evidence Explorer: A Tool for Exploring Model-Checking Proofs

  title={Evidence Explorer: A Tool for Exploring Model-Checking Proofs},
  author={Yifei Dong and C. R. Ramakrishnan and Scott A. Smolka},
We present the Evidence Explorer (http://www.cs.sunysb.edu/~lmc/ee/), a new tool for assisting users in navigating the proof structure, or evidence, produced by a model checker when attempting to verify a system specification for a temporal-logic property. Due to the sheer size of such evidence, single-step traversal is prohibitive and smarter exploration methods are required. The Evidence Explorer enables users to explore evidence through a collection of orthogonal but coordinated views. These… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-8 of 8 references

A description of the model-view-controller user interface paradigm in the Smalltalk-80 system

G. Krasner, S. Pope
J. Object Oriented Prog., • 1988
View 1 Excerpt

Similar Papers

Loading similar papers…