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


Submissions distribution by document type


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