Completed or Past Projects

Program analysis and verification

Theorem proving and SMT

European projects on embedded systems and test-case generation