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 251

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

Mots Clés

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