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


Submissions distribution by document type


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