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