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 033

Submissions distribution by document type


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