Apron Software Authors: Jeannet, Bertrand; Miné, Antoine Cited in: 72 Publications (1991–2022) Related Software: ASTREE; PPL; z3; Octagon; Interproc; OCaml; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)
PAGAI Software Authors: Julien Henry , David Monniaux , Matthieu Moy Cited in: 9 Publications (2014–2022) Related Software: Apron; PPL; HyTech; PHAVer; Sawja; ASTREE; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
FixBag Software Authors: Tuan-Hung Pham; Minh-Thai Trinh; Anh-Hoang Truong; Wei-Ngan Chin Cited in: 3 Publications (2013–2017) Related Software: MemCAD; TVLA; Predator; Quicr; SLAyer; Apron; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Clousot Software Authors: Fähndrich, Manuel; Logozzo, Francesco Cited in: 1 Publication (2012) Related Software: Eiffel Main Fields: Computer science (68-XX)
ELINA Software Authors: Singh, Gagandeep; Püschel, Markus; Vechev, Martin; ETH Zurich Cited in: 1 Publication (2017) Related Software: PPL; Apron Main Fields: Computer science (68-XX)
FLDBox Software Authors: Védrine, Franck; Jacquemin, Maxime; Kosmatov, Nikolai; Signoles, Julien Cited in: 1 Publication (2021) Related Software: FLDCompiler Main Fields: Computer science (68-XX)
Penrose Software Authors: K. Ye, W. Ni, M. Krieger, D. Ma’ayan, J. Wise, J. Aldrich, J. Sunshine, K. Crane Cited in: 1 Publication (2021) Related Software: MMP/Geometer; GEOTHER 1.1; GMBL; TensorFlow; SciPy; Geometer's Sketchpad; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)