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 258

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

Mots Clés

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