KAD

MaRDI QIDQ43942swMATHFDO

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

Cited in

(8)

• Quantales
• Transformer semantics
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Geographic wayfinders and space-time algebra
• Ordinary Differential Equations
• Stone Algebras
• Algebraic_VCs
• Kleene Algebra

This page was built for software: KAD