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

Nombre de documents fulltext

1 251

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

Mots Clés

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