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

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