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

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