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 243

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

Mots Clés

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