Practical Formal Verification Using Automated Reasoning and Model Checking

---

TEAM

VIAM-Tbilisi

Team Coordinator

Jemal Antidze

Team Members

Khimuri Rukhaia

---

Maintainer: Nikolaj Popov
Last Modification: October 04, 2006

---

[Up] [RISC-Linz] [University] [Search]