Algebraic_VCs

MaRDI QIDQ43928swMATHFDO

Official website https://www.isa-afp.org/entries/Algebraic_VCs.html

Cited in

(9)

• Quantales
• Transformer semantics
• A discrete geometric model of concurrent program execution
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
• Ordinary Differential Equations
• Binary Multirelations
• Kleene Algebra
• KAD

This page was built for software: Algebraic_VCs