index - Department of Formal methods

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 272

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

Mots Clés

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