index - Department of Formal methods

Sous-collection du département 2 : Méthodes formelles

Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr

Nombre de documents fulltext

1 322

Répartition des dépôts par type de document

Mots Clés

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