Saoithin

MaRDI QIDQ18469swMATHFDO

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

Described by source

• Saoithín: a theorem prover for UTP

Cited in

(6)

• An Axiomatic Value Model for Isabelle/UTP
• UTP2
• Isabelle/Circus
• UTPCalc
• UTPCalc -- a calculator for UTP predicates
• The logic of \(U\cdot(TP)^{2}\)

This page was built for software: Saoithin