×

Found 4 Software Packages (Results 1–4)

KRAKATOA

Software Authors:   Marché, C.; Paulin-Mohring, C.; Urbain, X.
Cited in: 77 Publications (2004–2021)
Related Software: Why3; Caduceus; JML; Boogie; Spec#; 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)

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)

OpenJML

Software Authors:   David R. Cok
Cited in: 4 Publications (2011–2021)
Related Software: Why3; Boogie; VeriFast; KRAKATOA; KeY; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)