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 066

Submissions distribution by document type

Chargement de la page


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