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 254

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

Mots Clés

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