index - Archive ouverte HAL Access content directly

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 145

Submissions distribution by document type


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