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 277

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

Mots Clés

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