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


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