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: (68Q60-XX); (68-01-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: –
LEGO Software Authors: Luo, Z., Pollack, R. Cited in: 106 Publications (1991–2021) Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; … Main Fields: –
Circus Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C. Cited in: 74 Publications (2002–2022) Related Software: Z; ProofPower; ZRC; Rodin; Isabelle/UTP; Simulink; … Main Fields: –
qGCL Software Authors: Zuliani, Paolo Cited in: 23 Publications (2000–2021) Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; … Main Fields: –
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: –
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: (68N30-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: –
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: –
VPM Software Authors: Dániel Varró, András Pataricza Cited in: 4 Publications (2005–2007) Related Software: VIATRA2; PROGRES; AGG; AToM3; Fujaba; Graph transformation benchmarks; … Main Fields: –
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: –
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: –
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: –
REFLP Software Authors: Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul Cited in: 1 Publication (1997) Related Software: Ergo 6 Main Fields: (68Q60-XX); (68N17-XX)