Hoare Semigroups (Q4640310): Difference between revisions

From MaRDI portal
← Older editNewer edit →
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
Property / cites work
 
Property / cites work: Building program construction and verification tools from algebraic principles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2851315 / rank
 
Normal rank
Property / cites work
 
Property / cites work: VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Internal axioms for domain semirings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concurrent Dynamic Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Hoare logic and Kleene algebra with tests / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4301161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isabelle/HOL. A proof assistant for higher-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concurrent dynamic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kleene Algebra with Tests and Coq Tools for while Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a refinement algebra / rank
 
Normal rank

Revision as of 16:09, 15 July 2024

scientific article; zbMATH DE number 6869458
Language Label Description Also known as
English
Hoare Semigroups
scientific article; zbMATH DE number 6869458

    Statements

    title
    Hoare Semigroups (English)
    0 references
    author
    Georg Struth
    0 references
    publication date
    17 May 2018
    0 references
    describes a project that uses
    Coq
    0 references
    Archive Formal Proofs
    0 references
    Isabelle/HOL
    0 references
    Kleene Algebra
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B70
    0 references
    20M10
    0 references
    zbMATH DE Number
    6869458
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4640310&oldid=36390692"
    Powered by MediaWiki