Transformer semantics

swMATH42013MaRDI QIDQ5974121FDOQ5974121

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: Transformer semantics