×

Found 4 Software Packages (Results 1–4)

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: