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

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