×

Found 13 Software Packages (Results 1–13)

KIV

Software Authors:   M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al.
Referenced in: 50 Publications (1988–2021)
Related Software: Z; PVS; Isabelle; JML; KRAKATOA; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ENDER

Software Authors:   K. Dembczynski, W. Kot lowski, R. S lowinski
Referenced in: 12 Publications (2012–2021)
Related Software: UCI-ml; C4.5; R; rpart; randomForest; pre; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DiVer

Software Authors:   Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
Referenced in: 9 Publications (2005–2010)
Related Software: Chaff; SatAbs; CBMC; Bebop; SPIN; FocusCheck; …
Main Fields: Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

RIONA

Software Authors:   Góra, Grzegorz; Wojna, Arkadiusz
Referenced in: 8 Publications (2002–2018)
Related Software: LERS; C4.5; Rseslib; RSES; ElemStatLearn; ROSETTA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

SAL

Software Authors:   Grégoire Hamon, Leonardo de Moura, John Rushby
Referenced in: 5 Publications (2004–2021)
Related Software: SPIN; PVS; RAISE; HybridSal; AETG; Simulink; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PhySIC

Software Authors:   Vincent Ranwez; Vincent Berry; Alexis Criscuolo; Pierre-Henri Fabre; Sylvain Guillemot; Celine Scornavacca; Emmanuel J. P. Douzery
Referenced in: 7 Publications (2009–2019)
Related Software: SuperTriplets; Notung; Rec-I-DCM3; RAxML; Quartets MaxCut; Bio++; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

PKind

Software Authors:   Kahsai T, Tinelli C
Referenced in: 7 Publications (2013–2020)
Related Software: GitHub; SeaHorn; CPAchecker; CTIGAR; Esterel; StateFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HyComp

Software Authors:   A. Cimatti, A. Griggio, S. Mover, S. Tonetta
Referenced in: 5 Publications (2017–2022)
Related Software: nuXmv; CTIGAR; z3; MathSAT5; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

NLCertify

Software Authors:   Victor Magron
Referenced in: 4 Publications (2014–2017)
Related Software: OCaml; Coq; Sollya; dReal; Flocq; HOL Light; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

JKind

Software Authors:   Andrew Gacek
Referenced in: 2 Publications (2016–2021)
Related Software: Kind 2; Paracooba; Kissat; CaDiCaL; AIGER; ABC; …
Main Fields: Computer science (68-XX)

SCRATCH

Software Authors:   Donaldson, A.F., Kroening, D., Rümmer, P.
Referenced in: 2 Publications (2011)
Related Software: RacerX; Eraser; MiniSat; SatAbs; CBMC; Cellss; …
Main Fields: Computer science (68-XX)

Simcyp

Software Authors:   Jamei M, Marciniak S, Feng K, Barnett A, Tucker G, Rostami-Hodjegan A
Referenced in: 0 Publications
Related Software: R; ggplot2; deSolve; odesolve; MCSim; httk
Main Fields:

Tip

Software Authors:   Sorensson N, Claessen K.
Referenced in: 1 Publication (2016)
Related Software: CTIGAR; GitHub; JKind; Kind 2; PKind; nuXmv; …
Main Fields: Computer science (68-XX)