Quantales

MaRDI QIDQ5972481swMATHFDO

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

Cited in

(7)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Ordinary Differential Equations
• Algebraic_VCs
• Kleene Algebra
• KAD
• cart-cube
• Transformer semantics

This page was built for software: Quantales