left

Input Languages

right
AProVE Help SystemInput Languages
Term Rewrite Systems
Logic Programs
Functional Programs
Imperative Programs

AProVE accepts a wide variety of different input languages. These include:

For detailed information consult the links above.