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


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