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


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