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

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