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

Nombre de documents fulltext

1 251

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

Mots Clés

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