Practical Formal Verification Using Automated Reasoning and Model Checking

RISC-Linz logo


TEAM

 

GIC-Kiev

 

 

Team Coordinator

Aleksander Letichevsky 

 

Team Members

Julia Kapitonova

Mariana Morokhovets

           

 

 


Maintainer: Nikolaj Popov
Last Modification: October 04, 2006

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