HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Department 2: Formal methods

 For all your questions or comments about this collection, please contact us at: publications@loria.fr


Latest deposits

Chargement de la page




Number of full text documents

1 089

Submissions distribution by document type


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