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)
ESC/Java Software Authors: Greg Nelson Cited in: 120 Publications (2001–2022) Related Software: Spec#; SIMPLIFY; JML; Boogie; z3; KRAKATOA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
KRAKATOA Software Authors: Marché, C.; Paulin-Mohring, C.; Urbain, X. Cited in: 78 Publications (2004–2022) Related Software: Why3; Caduceus; JML; Spec#; Boogie; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
JUnit Software Authors: Cheon, Yoonsik; Leavens, Gary T. Cited in: 15 Publications (2002–2020) Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
LOOP Software Authors: van den Berg, Joachim; Jacobs, Bart Cited in: 24 Publications (2001–2012) Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OpenJML Software Authors: David R. Cok Cited in: 6 Publications (2011–2022) Related Software: Why3; KeY; Boogie; Spec#; Frama-C; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
JACK Software Authors: Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet Cited in: 4 Publications (2004–2011) Related Software: KRAKATOA; JML; ESC/Java; Caduceus; Why3; Coq; … Main Fields: Computer science (68-XX)
TACO Software Authors: Juan P. Galeotti; Nicolas Rosner; Carlos G. Lopez Pombo; Marcelo F. Frias Cited in: 4 Publications (2013–2021) Related Software: Java PathFinder; TestEra; Korat; GitHub; Kodkod; DynAlloy; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)
DynaMate Software Authors: Galeotti, J.P., Furia, C.A., May, E., Fraser, G., Zeller, A Cited in: 1 Publication (2015) Related Software: Lingva; KeY; InvGen; Boogie; VAMPIRE; Dafny Main Fields: Computer science (68-XX)
IdentityHashMap Software Authors: Oracle Cited in: 1 Publication (2022) Related Software: JBMC; JMLUnit; OpenJML; KeY; JCrasher; VTune; … Main Fields: Computer science (68-XX)
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)
JMLAutoTest Software Authors: Guoqing Xu; Zongyuang Yang Cited in: 1 Publication (2022) Related Software: Why3; Eiffel; Spec#; GPUVerify; RustHorn; CBMC; … Main Fields: Computer science (68-XX)
SafeJML Software Authors: Haddad G, Hussain F, Leavens GT Cited in: 2 Publications (2013–2015) Related Software: FDR3; Circus; JML; SPARK Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)