index - Department of Formal methods Access content directly

Department 2: Formal methods

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

Latest deposits

Number of full text documents

1 232

Submissions distribution by document type

Keywords

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