Skip to Main content Skip to Navigation
New interface

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 125

Submissions distribution by document type


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