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 065

Submissions distribution by document type

Chargement de la page


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