Software Verification University of Bordeaux
This course presents shared data structures, like BDD (Binary DecisionDiagrams), CEGAR algorithms, and SAT solving techniques based oninterpolation.
- Level B2 CEFR in English. - Previous studies (Bachelor level) within the domain of computerscience or similar.
Continuous assessment and final exam.
The following techniques are presented: symbolic verification offinite models, static analysis, and verification through abstraction.
Lectures and practical work: 24 hours of lectures, 24 hours of tutorials.
Online Course Requirement
Duration: 12 weeksLanguage of instruction: EnglishMode of delivery: Face-to-face teaching: lectures, tutorials
Site for Inquiry
Please inquire about the courses at the address below.
Contact person: Jérome Leroux firstname.lastname@example.org Grégoire Sutre email@example.com Vincent Penellevincent.firstname.lastname@example.org