Saoithín: A Theorem Prover for UTP

DOI10.1007/978-3-642-16690-7_6zbMath1309.68039OpenAlexW1897172885MaRDI QIDQ3055742

Andrew Butterfield

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

• PVS
• Proof General
• CZT
• Unnamed Item
• Unnamed Item

This page was built for publication: Saoithín: A Theorem Prover for UTP