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

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