UTP2

swMATH6342MaRDI QIDQ18470FDOQ18470

Author name not available (Why is that?)

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