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


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