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 023

Submissions distribution by document type


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