Department 2: Formal methods

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