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 242

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

Mots Clés

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