---

VERA

Approximate
Verification

---

Home Page

Testers on trees

Approximate Model Checking

Games and protocols

Presentation March 11th 2005

Report, April 30th 2005

Final Report, October 30th 2006

ACI Security