UTP2

MaRDI QIDQ18470swMATHFDO

Official website https://www.scss.tcd.ie/andrew.butterfield/Saoithin/

Described by source

• Saoithín: a theorem prover for UTP
• The logic of \(U\cdot(TP)^{2}\)

Cited in

(7)

• Angelic processes for CSP via the UTP
• An Axiomatic Value Model for Isabelle/UTP
• Saoithin
• Isabelle/Circus
• Isabelle/UTP
• UTPCalc
• UTPCalc -- a calculator for UTP predicates

This page was built for software: UTP2