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 064

Submissions distribution by document type

Chargement de la page


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