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

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