Isabelle/UTP Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim Cited in: 17 Publications (2015–2021) Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Isabelle/Circus Software Authors: Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff Cited in: 12 Publications (2013–2017) Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
UTP2 Software Authors: Andrew BUTTERFIELD Cited in: 5 Publications (2010–2019) Related Software: Saoithin; Isabelle/HOL; Isabelle/UTP; ProofPower; PVS; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Saoithin Software Authors: Andrew BUTTERFIELD Cited in: 4 Publications (2010–2017) Related Software: UTP2; Isabelle/HOL; PVS; Coq; Isabelle/UTP; Isabelle/Circus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UTPCalc Software Authors: Butterfield, Andrew Cited in: 2 Publications (2017–2020) Related Software: Isabelle/UTP; PVS; Coq; Kami; Archive Formal Proofs; GitHub; … Main Fields: Computer science (68-XX)