index - Department of Formal methods Accéder directement au contenu

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 251

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

Mots Clés

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