×

Found 2 Software Packages (Results 1–2)

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)

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)