PAG Cited in 20 Documents (1996–2018) Software Authors: Martin, Florian Related Software: NINJA; BLAS; MPI/MPICH; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX); …
FunArray Cited in 17 Documents (2011–2021) Software Authors: Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco Related Software: ASTREE; z3; Booster; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
EigenCFA Cited in 3 Documents (2011–2012) Software Authors: Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary Related Software: PETSc; CUDA; THORS; … Main Fields: Computer science (68-XX)
PRODeep Cited in 2 Documents (2021) Software Authors: Li R, Li J, Huang CC, Yang P, Huang X, Zhang L, Xue B, Hermanns H Related Software: Reluplex; Marabou; Apollo; … Main Fields: Computer science (68-XX)
SMACS Cited in 2 Documents (2011–2012) Software Authors: Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv'e; Massart, Thierry Related Software: Fixpoint; UMDES; Apron Main Fields: Systems theory; control (93-XX)
Clousot Cited in 1 Document (2012) Software Authors: Fähndrich, Manuel; Logozzo, Francesco Related Software: Eiffel Main Fields: Computer science (68-XX)
LPdoc Cited in 1 Document (2020) Software Authors: Hermenegildo, M.V., Morales, J. Related Software: go; XSB; Haskell Main Fields: Computer science (68-XX)