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

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