Verification of dynamic bisimulation theorems in Coq (Q2035655)

From MaRDI portal
Revision as of 20:15, 28 July 2025 by CorrectionBot (talk | contribs) (‎Changed label, description and/or aliases in en, and other parts)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 7363407
Language Label Description Also known as
English
Verification of dynamic bisimulation theorems in Coq
scientific article; zbMATH DE number 7363407

    Statements

    title
    Verification of dynamic bisimulation theorems in Coq (English)
    0 references
    author
    Raul Fervari
    0 references
    Francisco Trucco
    0 references
    Beta Ziliani
    0 references
    publication date
    25 June 2021
    0 references
    zbMATH Keywords
    modal logics
    0 references
    dynamic logics
    0 references
    bisimulation
    0 references
    proof mechanization
    0 references
    describes a project that uses
    kepler98
    0 references
    Mtac
    0 references
    Lean
    0 references
    Coq
    0 references
    Isabelle
    0 references
    HOL
    0 references
    cites work
    Modal logic
    0 references
    Q3408862
    0 references
    Swap logic
    0 references
    Q5302559
    0 references
    Q4942002
    0 references
    Q4342096
    0 references
    ARROW UPDATE LOGIC
    0 references
    Q5419882
    0 references
    Q4525781
    0 references
    Q5224566
    0 references

    Identifiers

    zbMATH DE Number
    7363407
    0 references
    OpenAlex ID
    W3126024677
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q2035655&oldid=43484829"
    Powered by MediaWiki