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 249

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

Mots Clés

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