|
User Interface |
|
The AProVE system offers four different user interfaces, namely
-
The graphical user interface offers
an easy to use, yet powerful automatic mode as well as a user-definable
mode that combines automation and user interaction.
Thus, the graphical user interface delivers both flexibility
for the expert user and ease-of-use for the inexperienced, casual
user.
-
The command line interface
can be used as a backend to other tools that wish to integrate
the functionality of the AProVE system. It also lends itself
to automated execution on large sets of problems.
-
The web interface offers easy
access to the automated mode and is thus best suited for the
casual user.
-
The applet version is identical
to the graphical user interface. This can be used as an easy way
to evaluate the AProVE system.