×

Found 5 Software Packages (Results 1–5)

Isabelle/UTP

Cited in 25 Documents (2015–2024)
Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim
Related Software: Isabelle/HOL; Z; Circus; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)

Isabelle/Circus

Cited in 13 Documents (2013–2019)
Software Authors: Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart
Related Software: Isabelle/HOL; ProofPower; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

UTP2

Cited in 5 Documents (2010–2019)
Software Authors: BUTTERFIELD, Andrew
Related Software: Isabelle/HOL; Saoithin; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Saoithin

Cited in 4 Documents (2010–2017)
Software Authors: BUTTERFIELD, Andrew
Related Software: UTP2; Isabelle/HOL; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UTPCalc

Cited in 2 Documents (2017–2020)
Software Authors: Butterfield, Andrew
Related Software: Isabelle/UTP; PVS; Coq; …
Main Fields: Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field