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 033

Submissions distribution by document type


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