Graphical User Interface

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.

Contents

Getting started

Attestor can generate web applications to graphically explore state spaces and counterexamples, grammars, contracts, and particularly large states that may not have been abstracted properly.

To obtain the web application of interest, it is necessary to activiate the respective command-line options. On this page, we concentrate on graphical exploration of state spaces and counterexamples, i.e. the option --export <path> has to be set. Here, <path> determines where the web application is generated.

Navigating through state spaces

Selected states

You can’t perform that action at this time.
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.
Press h to open a hovercard with more details.