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 329

Submissions distribution by document type

Keywords

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