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


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