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)