Eiffel Software Authors: Bertrand Meyer Cited in: 227 Publications (1989–2022) Related Software: JML; Smalltalk; Spec#; ESC/Java; Z; Simula 67; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
JML Software Authors: Gary T. Leavens; Yoonsik Cheon Cited in: 152 Publications (2000–2022) 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)
rCOS Software Authors: Liu, Zhiming; Morisset, Charles; Stolz, Volker Cited in: 12 Publications (2007–2016) Related Software: Z; SPIN; Circus; UNITY; ESC/Java; ArchJava; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Jass Software Authors: Bartetzko, M.M.D., Fischer, C., Wehrheim, H. Cited in: 5 Publications (2005–2009) Related Software: JML; Eiffel; Spec#; LOOP; KRAKATOA; KeY; … Main Fields: Computer science (68-XX)
jContractor Software Authors: Karaorman, Murat; Abercrombie, Parker Cited in: 9 Publications (2002–2012) Related Software: JML; Eiffel; Spec#; Jass; JUnit; LARCH; … Main Fields: Computer science (68-XX)
SmallEiffel Software Authors: Zendra, Olivier; Colnet, Dominique Cited in: 9 Publications (2001–2011) Related Software: Eiffel; Smalltalk; TALx86; Haskell; ML; GC; … Main Fields: Computer science (68-XX)
Derivatives Software Authors: FinancialCAD® Corporation Cited in: 6 Publications (2001–2022) Related Software: GAMLSS Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
GASTAP Software Authors: Albert, E., Gordillo, P., Rubio, A., Sergey, I. Cited in: 3 Publications (2020–2022) Related Software: GitHub; gasstation-express; Adam; PyTorch Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
SCALE Software Authors: B.T. Rearden; M.A. Jessee Cited in: 3 Publications (2016–2019) Related Software: SCALE 6.2; COBRA-TF; Matlab; Sparse Grid Interpolation; Partial Differential Equation Toolbox; Shift; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)
CodeContracts Software Authors: Microsoft Cited in: 0 Publications Related Software: EiffelBase2; Boogie; Why3; VeriFast; ESC/Java; KRAKATOA; … Main Fields: –
JCML Software Authors: Da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Pl'acido A. Cited in: 2 Publications (2009–2012) Related Software: LOOP; Z; JML; Daikon; Eiffel; KRAKATOA; … Main Fields: Computer science (68-XX)
Clousot Software Authors: Fähndrich, Manuel; Logozzo, Francesco Cited in: 1 Publication (2012) Related Software: Eiffel Main Fields: Computer science (68-XX)
Praspel Software Authors: Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Ben Othman, Abdallah Cited in: 0 Publications Related Software: PHP Main Fields: –
WingBody Software Authors: Carmichael R Cited in: 1 Publication (2016) Related Software: Matlab; GitHub; JavaFoil; OpenVSP; BRL-CAD; Larosterna; … Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Systems theory; control (93-XX)