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 262

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

Mots Clés

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