index - Department of Formal methods

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 322

Submissions distribution by document type

Keywords

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