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 328

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

Mots Clés

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