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 330

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

Mots Clés

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