pGCL for Isabelle

MaRDI QIDQ7361045FDO

Authors David Cock

Publication date 13 July 2014

Cites work

• Guarded commands, nondeterminacy and formal derivation of programs
• Practical probability: applying pGCL to lattice scheduling
• Probabilistic guarded commands mechanized in HOL

This page was built for software: pGCL for Isabelle