×

Found 13 Software Packages (Results 1–13)

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)