AVA

Eva's "Automated Verification and Approximation" (AVA) group