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 327

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

Mots Clés

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