Saoithín: A Theorem Prover for UTP
From MaRDI portal
Publication:3055742
DOI10.1007/978-3-642-16690-7_6zbMath1309.68039OpenAlexW1897172885MaRDI QIDQ3055742
Publication date: 9 November 2010
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2262/91345
Related Items (7)
The Logic of U ·(TP)2 ⋮ An Axiomatic Value Model for Isabelle/UTP ⋮ UTPCalc — A Calculator for UTP Predicates ⋮ Automating Refinement of Circus Programs ⋮ Isabelle/UTP: A Mechanised Theory Engineering Framework ⋮ Saoithin ⋮ UTP2
Uses Software
This page was built for publication: Saoithín: A Theorem Prover for UTP