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

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