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 242

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

Mots Clés

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