References
AProVE Help System
→
References
├
System Descriptions
└
Techniques
The references are split into two subsections:
System Descriptions:
This subsection contains the most recent system descriptions and empirical evaluations of the AProVE system.
Techniques:
This subsection provides references to most of the techniques used in the AProVE system.