×

Found 6 Software Packages (Results 1–6)

SIMPLIFY

Software Authors:   Detlefs, D.; Nelson, G.; Saxe, J. B
Cited in: 129 Publications (2001–2021)
Related Software: z3; ESC/Java; PVS; Spec#; Boogie; Yices; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

ESC/Java

Software Authors:   Greg Nelson
Cited in: 118 Publications (2001–2021)
Related Software: Spec#; SIMPLIFY; JML; Boogie; KRAKATOA; Eiffel; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Cited in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

Calysto

Software Authors:   Babić, D., Hu, A.J.
Cited in: 5 Publications (2008–2020)
Related Software: z3; ESC/Java; BoogiePL; SLAM; BLAST; MiniSat; …
Main Fields: Computer science (68-XX)

Omnibus

Software Authors:   Wilson, T., Maharaj, S., Clark, R.G
Cited in: 2 Publications (2007–2010)
Related Software: ESC/Java; Spec#; Boogie; SIMPLIFY; JML; Eiffel; …
Main Fields: Computer science (68-XX)

ESC4

Software Authors:   James, Perry R.; Chalin, Patrice
Cited in: 2 Publications (2010–2011)
Related Software: Boogie; ESC/Java; OTTER; VACID-0; E Theorem Prover; VCC; …
Main Fields: Computer science (68-XX)