×

Found 14 Software Packages (Results 1–14)

Z

Software Authors:   Woodcock, Jim; Davies, Jim
Cited in: 228 Publications (1958–2022)
Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

JML

Software Authors:   Gary T. Leavens; Yoonsik Cheon
Cited in: 151 Publications (2000–2021)
Related Software: Spec#; Eiffel; KRAKATOA; ESC/Java; PVS; LOOP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Cited in: 106 Publications (1991–2021)
Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Circus

Software Authors:   Woodcock, J.C.P., Cavalcanti, A.L.C.
Cited in: 73 Publications (2002–2021)
Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

qGCL

Software Authors:   Zuliani, Paolo
Cited in: 23 Publications (2000–2021)
Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Cited in: 20 Publications (2011–2020)
Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ArcAngel

Software Authors:   Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
Cited in: 11 Publications (2003–2019)
Related Software: Z; ProofPower; Circus; ClawZ; ZRC; ArcAngelC; …
Main Fields: Computer science (68-XX)

ZRC

Software Authors:   Cavalcanti, A.L.C., Woodcock, J.C.P.
Cited in: 11 Publications (1998–2015)
Related Software: Circus; Z; ProofPower; ClawZ; ArcAngelC; Simulink; …
Main Fields: Computer science (68-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)

VPM

Software Authors:   Dániel Varró, András Pataricza
Cited in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

ArcAngelC

Software Authors:   Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
Cited in: 5 Publications (2010–2015)
Related Software: Circus; Z; ProofPower; ZRC; ArcAngel; ClawZ; …
Main Fields: Computer science (68-XX)

ImpUNITY

Software Authors:   Goeman, H.J.M.; Kok, J.N.; Sere, K.; Udink, R.T. ti: Coordination in the ImpUNITY framework.
Cited in: 4 Publications (1998–2008)
Related Software:
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

Superposition Calculus

Software Authors:   Nicolas Peltier
Cited in: 4 Publications (2018–2020)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Isabelle/jEdit; HOL; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

REFLP

Software Authors:   Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul
Cited in: 1 Publication (1997)
Related Software: Ergo 6
Main Fields: Computer science (68-XX)