Skip to Main content Skip to Navigation
New interface

Department 2: Formal methods

 For all your questions or comments about this collection, please contact us at:


Latest deposits

Chargement de la page




Number of full text documents

1 125

Submissions distribution by document type


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