![]() |
Input Languages |
![]() |
AProVE Help System → | Input 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.