×

Found 11 Software Packages (Results 1–11)

BLAST

Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Cited in: 104 Publications (2003–2021)
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

future

Software Authors:   Henrik Bengtsson
Cited in: 2 Publications (2021)
Related Software: R; ggplot2; doFuture; foreach; rjags; Scikit; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

SAFARI

Software Authors:   Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.
Cited in: 8 Publications (2014–2020)
Related Software: Mcmt; z3; Booster; MathSAT5; CVC4; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KRATOS

Software Authors:   A. Cimatti, A. Griggio, A. Micheli, I. Narasamdya, M. Roveri
Cited in: 7 Publications (2011–2018)
Related Software: BLAST; SystemC; SatAbs; LusSy; veriSoft; DDVerify; …
Main Fields: Computer science (68-XX)

Booster

Software Authors:   Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
Cited in: 6 Publications (2014–2021)
Related Software: Mcmt; SAFARI; z3; SMT-LIB; CVC4; FunArray; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ParADE

Software Authors:   –
Cited in: 2 Publications (2005–2006)
Related Software: OpenACC; NAS Parallel Benchmarks; SKaMPI; MPI; MPI/MPICH; PVM; …
Main Fields: Computer science (68-XX)

PolyFARM

Software Authors:   Clare, Amanda; King, Ross D.
Cited in: 3 Publications (2002–2012)
Related Software:
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

JWalk

Software Authors:   Anthony Simons
Cited in: 0 Publications
Related Software: NanoXML; JCrasher; Eclat; Rostra; JUnit; Korat; …
Main Fields:

BigDataScript

Software Authors:   Cingolani, P, Sladek, R, Blanchette, M
Cited in: 0 Publications
Related Software: Spark; knitr; NumPy; pyfssa; eHive; Bpipe; …
Main Fields:

LazySorted

Software Authors:   Naftali Harris
Cited in: 0 Publications
Related Software: Quicksort; NumPy; Python
Main Fields:

McScM

Software Authors:   Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire
Cited in: 0 Publications
Related Software: TaPAS; CADP; SPIN; TREX
Main Fields: