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 087

Submissions distribution by document type


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