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 255

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

Mots Clés

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