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 240

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

Mots Clés

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