Department 2: Formal methods

Symbolic animation Formal verification Vérification Semantics Model-checking Term rewriting Complexity Automatic theorem provers Validation Obfuscation SMT Calculating machine Composition Theorem proving Réécriture Computable analysis E-voting TLA+ Simulation Edward Sang Model checking Collaborative editors Privacy Protocoles Intrusion detection Distributed systems Process calculi Decision procedure Termination Satisfiability Sécurité Tree automata Algorithmic randomness Unification Narrowing Completeness Liveness Applied π-Calculus Automated verification Rewriting Cryptography Web services Proof assistants Combination Temporal logic First-order logic Secrecy Optimistic replication Superposition Synchronization Formal Verification Constraint solving Modelling Cryptographic protocols Combination of decision procedures Coq Méthodes formelles Equational theories Algorithm Operational transformation Satisfiability Modulo Theories Formal method Logarithms Static analysis Raffinement Schwilgué Tilings Behavioral detection Abstraction Malware Computability Implicit computational complexity Proof-based development Formal methods Verification Distributed algorithms Parameter synthesis Event-B Decidability Parametric timed automata Automated deduction Decision procedures Security Timed automata Protocoles cryptographiques Protocols Social networks Formal Methods Authentication Separation logic Automated reasoning Security protocols Protocol Symbolic model Sines Reachability Cellular automata Abstract machines Refinement IMITATOR