×

Found 8 Software Packages (Results 1–8)

Sycraft

Software Authors:   B. Bonakdarpour, S. Kulkarni
Referenced in: 6 Publications (2009–2015)
Related Software: CUDD; Vertaf; MR4UM; Uppaal; SPIN; NuSMV; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

ByMC

Software Authors:   Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
Referenced in: 6 Publications (2014–2021)
Related Software: z3; nuXmv; Lingeling; Verdi; FAST; PSync; …
Main Fields: Computer science (68-XX)

PSync

Software Authors:   Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
Referenced in: 5 Publications (2016–2021)
Related Software: Verdi; SPIN; ByMC; z3; Distal; Horus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GPS

Software Authors:   Salihoglu, S.; Widom, J.
Referenced in: 4 Publications (2017–2022)
Related Software: Pregel; Blogel; GoFFish; Apache Spark; Giraph; GraphX; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

NAGSAT

Software Authors:   Forman, S.L., Segre, A.M.
Referenced in: 3 Publications (2006–2012)
Related Software: ZetaSAT; BerkMin; Chaff; GridSAT; Globus Toolkit; GrADSAT; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Distal

Software Authors:   Martin Biely , Pamela Delgado , Zarko Milosevic , Andre Schiper
Referenced in: 2 Publications (2016–2017)
Related Software: PSync; Verdi; ByMC; z3; TLA; SPIN; …
Main Fields: Computer science (68-XX)

DIXER

Software Authors:   Bazan, J.G., Latkowski, R., Szczuka, M.
Referenced in: 1 Publication (2007)
Related Software: RIONA; Rseslib; RSES; ElemStatLearn; ROSETTA; LERS
Main Fields: Computer science (68-XX)

tangle-network-particle-filter

Software Authors:   Tslil, Or; Feiner, Tal; Carmi, Avishy
Referenced in: 1 Publication (2021)
Related Software: GitHub
Main Fields: Systems theory; control (93-XX)