![]() |
Applet |
![]() |
AProVE Help System → User Interface → | Applet |
Starting from version 1.0, AProVE can also be executed as an applet in your browser. Please follow the corresponding link on the AProVE web site:
http://aprove.informatik.rwth-aachen.deNote that the applet requires a recent Java plugin version 1.4 or newer in your browser including the Swing GUI library.
The AProVE applet has been signed as it requires extension of privileges. When prompted by your browser, please accept the presented certificate iff the signature matches the following:
0000: 30 2C 02 14 39 45 CE 12 71 02 7F 5C 5B BD 36 22 0010: 75 20 B6 03 D6 23 60 8C 02 14 5F 5A 33 4E 40 F0 0020: 01 D4 49 9E C3 A6 BE 30 55 8A BA F4 04 7B