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 326

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

Mots Clés

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