PAG Cited in 20 Documents (1996–2018) Software Authors: Martin, Florian Related Software: NINJA; aiT; SeqLog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX); …
FunArray Cited in 18 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: CUDA; PETSc; TRecS; … Main Fields: Computer science (68-XX)
PRODeep Cited in 3 Documents (2021–2023) Software Authors: Li, R.; Li, J.; Huang, C. C.; Yang, P.; Huang, X.; Zhang, L.; Xue, B.; Hermanns, H. Related Software: Marabou; Reluplex; MNIST; … 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)
VeriFly Cited in 2 Documents (2021–2022) Software Authors: Sanchez-Ordaz, Miguel A.; Garcia-Contreras, Isabel; Perez, Victor; Morales, José F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V. Related Software: Mercury; CiaoPP; Ciao; … Main Fields: Computer science (68-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)