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

Chargement de la page

Number of full text documents

1 244

Submissions distribution by document type

Keywords

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