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 087

Submissions distribution by document type


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