Practical Formal Verification Using Automated Reasoning and Model Checking

---

TEAM

RISC-Linz

Team Coordinator

Tudor Jebelean

Team Members

Bruno Buchberger

Temur Kutsia

Laura Kovacs

Nikolaj Popov

---

Maintainer: Nikolaj Popov
Last Modification: October 04, 2006

---

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