Practical Formal Verification Using Automated Reasoning and Model Checking

RISC-Linz logo

TEAM

 

IeAT-Timisoara

 

 

Team Coordinator

Marius Minea 

 

Team Members

Adrian Craciun

Viorel Negru

Dana Petcu

Georgeta Igna 

           

 

 

Maintainer: Nikolaj Popov
Last Modification: September 11, 2007

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