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 322

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

Mots Clés

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