FunArray Software Authors: Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco Cited in: 16 Publications (2011–2021) Related Software: ASTREE; z3; Booster; Apron; Mcmt; Princess; … Main Fields: (68P05-XX); (68N30-XX)
AgenaRisk Software Authors: Fenton, Norman; Neil, Martin Cited in: 11 Publications (2013–2021) Related Software: R; TETRAD; Elicitator; dobson; arm; brms; … Main Fields: (91-01-XX); (91B06-XX); (91B30-XX)
TinyOS Software Authors: Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O. Cited in: 6 Publications (2008–2019) Related Software: FDR3; ProB; AUTOSAR; Magiclock; Goblint; ASTREE; … Main Fields: (68N99-XX); (90B10-XX)
SANTE Software Authors: Chebaro, Omar; Kosmatov, Nikolai; Giorgetti, Alain; Julliand, Jacques Cited in: 1 Publication (2018) Related Software: Frama-C; PathCrawler; Coq; CUTE; DyTa; Caduceus; … Main Fields: (68Q60-XX)
codetools Software Authors: Tierney, Luke Cited in: 3 Publications (2009–2014) Related Software: R; libclang; Emscripten; pdist; r2c; CodeDepends; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
OTAWA Software Authors: Ballabriga, Clément; Cassé, Hugues; Rochange, Christine; Sainrat, Pascal Cited in: 1 Publication (2017) Related Software: McAiT; CPAchecker; STP; Smacc; r-TuBound; Stony Brook; … Main Fields: –
SeLINQ Software Authors: Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei Cited in: 2 Publications (2014–2017) Related Software: K Prover; Links; JSLINQ; F*; KJS; Ur/Web; … Main Fields: (68N30-XX); (68N18-XX); (68P15-XX)
STANSE Software Authors: Jan Obdržálek, Jiří Slabý, Marek Trtík Cited in: 0 Publications Related Software: Klocwork; FindBugs; CodeSonar Main Fields: –
WebDSL Software Authors: Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C.L.; Visser, Eelco Cited in: 1 Publication (2011) Related Software: Spoofax; Links; Ruby; ScalaQL; Jwig; Stratego Main Fields: Computer science (68-XX)
analyzeR Software Authors: Pranav Chandramouli, Zadia Codabux, Melina Vidoni Cited in: 0 Publications Related Software: cyclocomp; covr; Proto; Roxygen; OpenGL; Python; … Main Fields: –
Clang AST Software Authors: Horváth, Gábor; Pataki, Norbert Cited in: 0 Publications Related Software: STL Main Fields: (68N19-XX)
Clousot Software Authors: Fähndrich, Manuel; Logozzo, Francesco Cited in: 1 Publication (2012) Related Software: Eiffel Main Fields: (68N30-XX)
CoChecker Software Authors: Cui, Xingmin; Yu, Da; Chan, Patrick; Hui, Lucas C.K.; Yiu, S.M.; Qing, Sihan Cited in: 1 Publication (2014) Related Software: DroidBench Main Fields: (94A60-XX); (94A62-XX)
DataFAN Software Authors: Czarnecki, Krzysztof; Himsolt, Michael; Richter, Ernst; Vieweg, Falk; Rosskopf, Alfred Cited in: 1 Publication (2002) Related Software: Ada95 Main Fields: (68U99-XX); (68N15-XX)
LPdoc Software Authors: Hermenegildo, M.V., Morales, J. Cited in: 1 Publication (2020) Related Software: go; XSB; Haskell Main Fields: –
parichayana Software Authors: Ashish Sureka Cited in: 0 Publications Related Software: GitHub Main Fields: –
TFA Software Authors: Zhuo, Xilong; Zhang, Chenyi Cited in: 1 Publication (2020) Related Software: SPECjvm2008; Featherweight Java; Soot Main Fields: (68N15-XX); (68N19-XX)
WebDFEA Software Authors: Weng, Wei-Chu Cited in: 1 Publication (2011) Related Software: Web-FEM; MANIP; OpenGL Main Fields: Mechanics of deformable solids (74-XX)