You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Christoph Matheja edited this page Apr 19, 2018
·
3 revisions
This page provides a brief introduction to the graphical user interface generated by Attestor.
The main purpose is to enable a convenient way to explore generated state spaces and understand counterexamples.