CBMC Cited in 74 Documents (2004–2022) Software Authors: Clarke E, Kroening D, Lerda F Related Software: MiniSat; BLAST; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
OMNet++ Cited in 33 Documents (2001–2021) Software Authors: András Varga Related Software: ns-2; Chord; GloMoSim; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
SystemC Cited in 29 Documents (2002–2017) Software Authors: Black, David C.; Donovan, Jack. Related Software: Pinapa; LusSy; Esterel; … Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX); …
ModelSim Cited in 7 Documents (2007–2015) Software Authors: Mentor Graphics Related Software: Simulink; Matlab; BerkMin; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX); …
WoLFram Cited in 16 Documents (2010–2022) Software Authors: Sülflow, André Related Software: R; Yices; KLEE; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
SPRINT Cited in 9 Documents (2007–2010) Software Authors: Johan Cockx, Kristof Denolf, Bart Vanhoof and Richard Stahl Related Software: – Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
KRATOS Cited in 9 Documents (2011–2022) Software Authors: A. Cimatti, A. Griggio, A. Micheli, I. Narasamdya, M. Roveri Related Software: BLAST; SystemC; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pinapa Cited in 4 Documents (2008–2011) Software Authors: Moy, M., Maraninchi, F., Maillet-Contoz, L. Related Software: SystemC; veriSoft; Esterel; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX); …
LusSy Cited in 3 Documents (2007–2013) Software Authors: Moy, M., Maraninchi, F., Maillet-Contoz, L. Related Software: SystemC; KRATOS; veriSoft; … Main Fields: Computer science (68-XX)
SCOOT Cited in 2 Documents (2010–2018) Software Authors: Blanc, N., Kroening, D., Sharygina, N. Related Software: MiniSat; Zapato; DDVerify; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
ArchC Cited in 2 Documents (2005–2010) Software Authors: Azevedo, Rodolfo; Rigo, Sandro; Bartholomeu, Marcus; Araujo, Guido; Araujo, Cristiano; Barros, Edna Related Software: aiT; MiBench; MediaBench; … Main Fields: Computer science (68-XX)
Fossy Cited in 1 Document (2010) Software Authors: – Related Software: SystemC Main Fields: Computer science (68-XX)
Noxim Cited in 1 Document (2009) Software Authors: Catania, Vincenzo; Mineo, Andrea; Monteleone, Salvatore; Palesi, Maurizio; Patti, Davide Related Software: – Main Fields: Computer science (68-XX)
RTMemController Cited in 0 Documents Software Authors: Li Y, Akesson B, Goossens K Related Software: MediaBench Main Fields: Computer science (68-XX)
RTOS Cited in 1 Document (2010) Software Authors: Becker, Markus; Zabel, Henning; Mueller, Wolfgang Related Software: – Main Fields: Computer science (68-XX)
SoCLib Cited in 1 Document (2010) Software Authors: – Related Software: SPLASH-2 Main Fields: Computer science (68-XX)
Verilator Cited in 1 Document (2021) Software Authors: Snyder, W. Related Software: Tornado; Yosys; maskVerif; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)