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 096

Submissions distribution by document type


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