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

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