Practical Formal Verification Using Automated Reasoning and Model Checking

RISC-Linz logo


TEAM

 

Uni-Kiev

 

 

Team Coordinator

Anatoly Anisimov

 

Team Members

Alexander Lyaletski

Anatoly Chebotarev

           

 

 


Maintainer: Nikolaj Popov
Last Modification: October 04, 2006

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