Saoithin

swMATH6341MaRDI QIDQ18469FDOQ18469

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

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