Transformer semantics

MaRDI QIDQ5974121swMATHFDO

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

Cited in

(7)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Ordinary Differential Equations
• Algebraic_VCs
• Differential_Game_Logic
• Kleene Algebra
• KAD
• Quantales

This page was built for software: Transformer semantics