Towards a Deductive Verification Infrastructure for Weighted Programming

Emma Ahrens, Samuel Rode, Philipp Schröer +1

Weighted programs extend guarded commands with trace weights drawn from a semiring, or more generally a monoid-module. Varying this algebra gives one programmatic syntax for a vari…