CIL Software Authors: Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W. Cited in: 30 Publications (2002–2022) Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
CIL Software Authors: Jakob S. Jørgensen, Evelina Ametova, Genoveva Burca, Gemma Fardell, Evangelos Papoutsellis, Edoardo Pasca, Kris Thielemans, Martin Turner, Ryan Warr, William R. B. Lionheart, Philip J. Withers Cited in: 1 Publication (2022) Related Software: LSQR; SIRF; CCPi-Regularisation; TFOCS; Savu; GlobalBioim; … Main Fields: Numerical analysis (65-XX)
CREST Software Authors: Burnim, J. Cited in: 0 Publications Related Software: DART; SPIN; CUTE; MiniSat; Amazon EC2; jCUTE; … Main Fields: –
MoonWalker Software Authors: Aan de Brugh, N.H.M., Nguyen, V.Y., Ruys, T.C. Cited in: 0 Publications Related Software: SatAbs; Orion; Augur 2; Java PathFinder; SPIN; StEAM; … Main Fields: –