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 254

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

Mots Clés

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