Home

Welcome to your wiki!

This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].

The wiki uses Markdown syntax.

Project Admins:

• Claudio

[Claudio]

AGAVE takes as input three files:
Example1.xml contains the Statechart to be analyzed
Example1Property.txt contains the property to be verified
Example1InitialState.txt contains the initial values of the atomic propositions

To run AGAVE download these three file plus AGAVE.jar.
Then, from the command line type:
java -jar AGAVE.jar