Completed or Previous Projects

Program analysis and verification

Theorem proving and arithmetic

European projects on embedded systems and test-case generation