Sous-collection du département 2 : Méthodes formelles

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