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

Number of full text documents

1 199

Submissions distribution by document type

Keywords

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