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

Nombre de documents fulltext

1 330

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

Mots Clés

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