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

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