Skip to Main content Skip to Navigation

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 040

Submissions distribution by document type


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