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

Derniers Dépôts

Chargement de la page

Nombre de documents fulltext

1 329

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

Mots Clés

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