Project-team OLAS Operational, Logical, and Algebraic foundations for Software systems Software is more and more transforming our daily lives. However, it is also becoming more and more...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
