×

Found 279 Software Packages (Results 1–100)

ABAQUS

Software Authors:   Simulia (Dassault Systemes); ABAQUS Inc
Cited in: 1,585 Publications (1985–2023)
Related Software: UMAT; ABAQUS/Standard; ABAQUS/Explicit; Matlab; ANSYS; LS-DYNA; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Mfree2D

Software Authors:   G.R. Liu, Z.H. Tu
Cited in: 324 Publications (2002–2022)
Related Software: Matlab; XFEM; ABAQUS; FEAPpv; LS-DYNA; MFDMtool; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ABAQUS/Standard

Software Authors:   Dassault Systèmes
Cited in: 217 Publications (1995–2022)
Related Software: ABAQUS; UMAT; Matlab; ABAQUS/Explicit; Mathematica; HYPLAS; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

HYPLAS

Software Authors:   De Souza Neto EA, Perić D, Owen DRJ
Cited in: 205 Publications (1996–2022)
Related Software: ABAQUS; FEAPpv; Matlab; Trilinos; AceFEM; CutFEM; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ESC/Java

Software Authors:   Greg Nelson
Cited in: 118 Publications (2001–2021)
Related Software: Spec#; SIMPLIFY; JML; Boogie; KRAKATOA; Eiffel; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Sat4j

Software Authors:   Le Berre; Parrain
Cited in: 83 Publications (2007–2023)
Related Software: MiniSat; Chaff; QMaxSAT; Open-WBO; PicoSAT; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ABAQUS/Explicit

Software Authors:   Dassault Systèmes
Cited in: 78 Publications (1997–2022)
Related Software: ABAQUS; ABAQUS/Standard; UMAT; VUMAT; LS-DYNA; FLAC; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

DART

Software Authors:   Patrice Godefroid; Nils Klarlund; Koushik Sen
Cited in: 58 Publications (2005–2022)
Related Software: CUTE; z3; Pex; KLEE; STP; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Apron

Software Authors:   Jeannet, Bertrand; Miné, Antoine
Cited in: 71 Publications (1991–2022)
Related Software: ASTREE; PPL; z3; Octagon; Interproc; OCaml; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

Mercury

Software Authors:   mercurylang.org
Cited in: 70 Publications (1994–2022)
Related Software: ECCE; Haskell; DPPD; SICStus; CiaoPP; Ciao; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

Hets

Software Authors:   Mossakowski, T., Maeder, C., Lüttich, K.
Cited in: 62 Publications (2005–2021)
Related Software: CASL; Isabelle/HOL; Isabelle; Maude; CafeOBJ; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Nike2D

Software Authors:   J.O. Hallquist
Cited in: 63 Publications (1982–2022)
Related Software: LS-DYNA; DYNA3D; DYNA2D; Hondo; TENSOR; TOODY II; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Octagon

Software Authors:   Miné, A.
Cited in: 59 Publications (2002–2014)
Related Software: ASTREE; Apron; PPL; ESC/Java; Caduceus; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Cited in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

BIOCHAM

Software Authors:   Chabrier, N., Fages, F., Soliman, S.
Cited in: 45 Publications (2005–2022)
Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Cited in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Cited in: 38 Publications (2002–2022)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

MARC

Software Authors:   MSC Software
Cited in: 39 Publications (1979–2022)
Related Software: MSC.MARC; ABAQUS; LS-DYNA; Code_Aster; CalculiX; PATRAN; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

TVLA

Software Authors:   Tal Lev-Ami; Mooly Sagiv
Cited in: 31 Publications (2000–2020)
Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COMET

Software Authors:   Cervera M, Agelet de Saracibar C, Chiumenti M
Cited in: 24 Publications (2003–2022)
Related Software: GiD; CodeCMSG; FEAPpv; quadva; PetIGA; quadgk; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

FLagSHyP

Software Authors:   Bonet, Javier; Gil, Antonio J.; Wood, Richard D.
Cited in: 24 Publications (2016–2022)
Related Software: Gmsh; HYPLAS; ABAQUS; Matlab; PRMLT; PMTK; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

WARP3D

Software Authors:   Healy, B., Gullerud, A., Koppenhoefer, K., Roy, A., RoyChowdhury, S., Walters, M., Bichon, B., Cochran, K., Carlyle, A., Dodds, R.
Cited in: 21 Publications (1998–2021)
Related Software: ABAQUS; ANSYS; Matlab; DEIP; MOOSE; LS-DYNA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Salinas

Software Authors:   Bhardwaj, M., Pierson, K., Reese, G., Walsh, T., Day, D., Alvin, K., Peery, J.
Cited in: 18 Publications (2003–2018)
Related Software: PETSc; ARPACK; Trilinos; LAPACK; MUMPS; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

UDEC

Software Authors:   Itasca Consulting Group, Inc
Cited in: 18 Publications (1996–2021)
Related Software: Y-Geo; PFC; Mathematica; TOUGH-FLAC; FLAC3D; Dips; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Geophysics (86-XX)

MSC.MARC

Software Authors:   MSC Software Corporation
Cited in: 17 Publications (2002–2019)
Related Software: MARC; Matlab; Maxima; wxMaxima; PIONER; FLUX; …
Main Fields: Real functions (26-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

RacerX

Software Authors:   Engler, D., Ashcraft, K
Cited in: 15 Publications (2008–2021)
Related Software: Eraser; RELAY; LOCKSMITH; MiniSat; SatAbs; SCRATCH; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

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: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Seesoft

Software Authors:   Eick, S.; Jr., J. Steffen
Cited in: 8 Publications (1995–2011)
Related Software: Codecrawler; Hipikat; Jove; CVSscan; Vizz3D; ThemeRiver; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

YOGI

Software Authors:   Aditya V. Nori , Sriram K. Rajamani , SaiDeep Tetali , Aditya V. Thakur
Cited in: 12 Publications (2010–2021)
Related Software: DART; z3; CUTE; Java PathFinder; Pex; KLEE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AgenaRisk

Software Authors:   Fenton, Norman; Neil, Martin
Cited in: 11 Publications (2013–2021)
Related Software: R; TETRAD; Elicitator; dobson; arm; brms; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

BoogiePL

Software Authors:   DeLine, R., Leino, K.R.M.
Cited in: 10 Publications (2005–2020)
Related Software: z3; Spec#; Boogie; HOL-Boogie; ESC/Java; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Dynaflow

Software Authors:   Jean H. Prévost
Cited in: 13 Publications (1997–2020)
Related Software: TOUGH-FLAC; DuMuX; CrunchFlow; OpenGeoSys; Code_Bright; ECLIPSE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

GENESIS

Software Authors:   Vanderplaats R&D, Inc
Cited in: 11 Publications (2004–2017)
Related Software: OptiStruct; DOT; ABAQUS/Standard; WHAM; NASTRAN; LS-DYNA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

GKLEE

Software Authors:   Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.
Cited in: 10 Publications (2013–2022)
Related Software: GPUVerify; CUDA; OpenCL; Coq; GRace; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OptiStruct

Software Authors:   Altair Engineering, Inc
Cited in: 9 Publications (2008–2020)
Related Software: HyperMesh; GENESIS; Matlab; top.m; ANSYS; SolidWorks; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Verasco

Software Authors:   Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie
Cited in: 12 Publications (2016–2021)
Related Software: Coq; z3; ASTREE; Toolchain; LLVM; HACL*; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Convex and discrete geometry (52-XX)

COSMOS/M

Software Authors:   Structural Research and Analysis Corporation
Cited in: 12 Publications (1996–2016)
Related Software: ANSYS; Maple
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

DyC

Software Authors:   Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.J.
Cited in: 11 Publications (2000–2010)
Related Software: VCODE; ASM; TALx86; LMS; Flask; BCEL; …
Main Fields: Computer science (68-XX)

PFVIBAT

Software Authors:   Akesson, Bengt A.
Cited in: 12 Publications (1976–2014)
Related Software: FEAPpv; VICONOPT; REDUCE
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

AMNESIA

Software Authors:   Halfond W, Orso A
Cited in: 8 Publications (2007–2014)
Related Software: Pixy; dk.brics.automaton; PQL; Haskell; TAJ; F4F; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PathCrawler

Software Authors:   Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
Cited in: 5 Publications (2008–2021)
Related Software: CUTE; DART; z3; Frama-C; Pex; SANTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Cited in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

NONSAP

Software Authors:   Bathe, K. J.; Wilson, E. L.
Cited in: 10 Publications (1976–2013)
Related Software: NASTRAN
Main Fields: Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX); Mechanics of deformable solids (74-XX)

SAMCEF Mecano

Software Authors:   SAMTECH
Cited in: 10 Publications (1988–2015)
Related Software: SAMCEF; BOSS-Quattro; PLCP; SAMCEF Field
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Saner

Software Authors:   Balzarotti, D., Cova, M., Felmetsger, V., Jovanovic, N., Kirda, E., Kruegel, C., Vigna, G.
Cited in: 8 Publications (2009–2021)
Related Software: Stranger; TAJ; Merlin; CVC4; Z3str2; Z3str3; …
Main Fields: Computer science (68-XX)

MaJIC

Software Authors:   Almasi, George; Padua, David A.
Cited in: 8 Publications (2001–2016)
Related Software: Matlab; R; ScaLAPACK; GitHub; traceR; Rincanter; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAGAI

Software Authors:   Julien Henry , David Monniaux , Matthieu Moy
Cited in: 9 Publications (2014–2022)
Related Software: Apron; PPL; HyTech; PHAVer; Sawja; ASTREE; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Z3-str

Software Authors:   Zheng Y, Zhang X, Ganesh V
Cited in: 8 Publications (2015–2021)
Related Software: S3; PASS; z3; HAMPI; Stranger; Norn; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ABC

Software Authors:   Blanc, Régis; Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura
Cited in: 6 Publications (2010–2021)
Related Software: SPEED; Aspic; FLATA; KITTeL; AProVE; LLVM; …
Main Fields: Computer science (68-XX)

CalCS

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.
Cited in: 8 Publications (2013–2019)
Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

Goblint

Software Authors:   Vojdani, V.; Vene, V.
Cited in: 8 Publications (2009–2021)
Related Software: LOCKSMITH; RELAY; ASTREE; DDVerify; RacerX; Ciao; …
Main Fields: Computer science (68-XX)

Kilim

Software Authors:   Srinivasan, S., Mycroft, A.
Cited in: 6 Publications (2010–2020)
Related Software: JCobox; ABS; Erlang; SACO; Coq; AmbientTalk; …
Main Fields: Computer science (68-XX)

QTest

Software Authors:   Regenwetter, M., Davis-Stober, C. P., Lim, S. H., Guo, Y., Popova, A., Zwilling, C., Cha, Y.-S. Messner, W.
Cited in: 8 Publications (2015–2021)
Related Software: PORTA; multinomineq; rPorta; Stan; GitHub; BIEMS; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Snugglebug

Software Authors:   Chandra, S., Fink, S.J., Sridharan, M.
Cited in: 7 Publications (2010–2021)
Related Software: DART; z3; STP; YOGI; KLEE; InvGen; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TAJ

Software Authors:   Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.
Cited in: 7 Publications (2013–2021)
Related Software: FlowDroid; Dytan; F4F; Panorama; TaintDroid; Pixy; …
Main Fields: Computer science (68-XX)

TyPiCal

Software Authors:   Kobayashi, N.
Cited in: 8 Publications (1985–2017)
Related Software: PIPER; GitHub; Gopherlyzer; go; RacerX; ABS; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CacheAudit

Software Authors:   Doychev, G., Feld, D., Köpf, B., Mauborgne, L., Reineke, J.
Cited in: 7 Publications (2017–2021)
Related Software: Boogie; JFlow; NaCl; LLVM; HACL*; TEA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Calysto

Software Authors:   Babić, D., Hu, A.J.
Cited in: 5 Publications (2008–2020)
Related Software: z3; ESC/Java; BoogiePL; SLAM; BLAST; MiniSat; …
Main Fields: Computer science (68-XX)

FIREMAN

Software Authors:   Yuan, L.; Mai, J.; Su, Z.; Chen, H.; Chuah, C. N.; Mohapatra, P.
Cited in: 6 Publications (2009–2020)
Related Software: margrave; Firmato; HOL-TestGen; CP-miner; Kodkod; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JSAI

Software Authors:   Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
Cited in: 5 Publications (2017–2022)
Related Software: JavaScript; Phantm; Norn; Node.js; PPL; ast; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Klocwork

Software Authors:   Rogue Wave Software, Inc.
Cited in: 3 Publications (2007–2021)
Related Software: FindBugs; CodeSonar; STANSE; Cascade; QEMU; SMACK; …
Main Fields: Computer science (68-XX)

QuickSpec

Software Authors:   Claessen, K., Smallbone, N., Hughes, J.
Cited in: 5 Publications (2014–2019)
Related Software: QuickCheck; Hipster; HipSpec; Zeno; Theorema; ACL2; …
Main Fields: Computer science (68-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: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Clara

Software Authors:   Bodden E, Lam P, Laurie L
Cited in: 5 Publications (2011–2021)
Related Software: Java-MOP; VGGFace2; APCluster; apcluster; MPI; DyTa; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DFBAlab

Software Authors:   Gomez, J; Höffner, K; Barton, P,
Cited in: 5 Publications (2016–2018)
Related Software: Matlab; CPLEX; COBRApy; METRADE; MoNeRe; COBRA Toolbox; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

FastImp

Software Authors:   Z. Zhu, B. Song, J. K. White
Cited in: 5 Publications (2006–2022)
Related Software: Fasthenry; quadva; quadgk; PROVOD; PHG; Netgen
Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

FlowDroid

Software Authors:   Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P.
Cited in: 5 Publications (2015–2021)
Related Software: TAJ; Dytan; TaintDroid; FlashMeta; FlashRelate; FlashExtract; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Goanna

Software Authors:   Fehnker A., Huuck R., Jayet P., Lussenburg M., Rauch F.; Red Lizard Software
Cited in: 4 Publications (2009–2013)
Related Software: SatAbs; Orion; BLAST; Mjollnir; WPDS++; BAP; …
Main Fields: Computer science (68-XX)

LabelRankT

Software Authors:   Jierui Xie, Mingming Chen, Boleslaw K. Szymanski
Cited in: 5 Publications (2016–2021)
Related Software: SELP; GitHub; NetworkX; GenLouvain; FacetNet; SNAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Pandapower

Software Authors:   Leon Thurner, Alexander Scheidler, Florian Schäfer, Jan-Hendrik Menke, Julian Dollichon, Friederike Meier, Steffen Meinecke, Martin Braun
Cited in: 0 Publications
Related Software: Pypsa; Python; MATPOWER; OpenAI Gym; Electron; yaml-cpp; …
Main Fields:

RELAY

Software Authors:   Voung, J.W., Jhala, R., Lerner, S.
Cited in: 6 Publications (2008–2021)
Related Software: Eraser; LOCKSMITH; RacerX; Goblint; McPatom; ChibiOS; …
Main Fields: Computer science (68-XX)

VeriSmall

Software Authors:   Appel, Andrew W.
Cited in: 5 Publications (2012–2018)
Related Software: Coq; Charge!; Smallfoot; SLAyer; VeriFast; jStar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Workcraft

Software Authors:   Poliakov, Ivan; Sokolov, Danil; Mokhov, Andrey
Cited in: 4 Publications (2011–2022)
Related Software: VipTool; Genet; Petrify; ProM; rbminer; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

jPredictor

Software Authors:   Feng Chen, Traian Florin Serbanuta, Grigore Roşu
Cited in: 5 Publications (2007–2018)
Related Software: QuickLex; AVIO; FastTrack; CTrigger; PENELOPE; ASM; …
Main Fields: Computer science (68-XX)

Merlin

Software Authors:   Livshits VB, Nori AV, Rajamani SK, Banerjee A
Cited in: 5 Publications (2013–2017)
Related Software: Saner; TAJ; JavaScript; GitHub; Stranger; SGX; …
Main Fields: Computer science (68-XX)

Orion

Software Authors:   Dams, Dennis R.; Namjoshi, Kedar S.
Cited in: 4 Publications (2006–2018)
Related Software: SatAbs; BLAST; ASTREE; SLAM; Goanna; CVC; …
Main Fields: Computer science (68-XX)

Pixy

Software Authors:   N. Jovanovic, C. Kruegel, E. Kirda
Cited in: 3 Publications (2014–2020)
Related Software: AMNESIA; TAJ; Dytan; F4F; GitHub; Aletheia; …
Main Fields: Computer science (68-XX)

ProbCD

Software Authors:   Ricardo Vêncio, Ilya Shmulevich
Cited in: 0 Publications
Related Software: GOPET; BayGO; Gaggle; GOLEM; GOtcha; BiNGO; …
Main Fields:

Program-Conflict-Analysis

Software Authors:   Lammich, Peter; Müller-Olm, Markus
Cited in: 5 Publications (2008–2018)
Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; Coq; Isabelle/HOL
Main Fields: Computer science (68-XX)

SAFKASI

Software Authors:   D.S. Wallach, A.W. Appel, E.W. Felten
Cited in: 3 Publications (2005–2015)
Related Software: PRISM; JFlow; Binder; Haskell; ML
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VERIFAS

Software Authors:   Yuliang Li, Alin Deutsch, Victor Vianu
Cited in: 4 Publications (2019–2021)
Related Software: Cubicle; Mcmt; Booster; SAFARI; ASASP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Verigraph

Software Authors:   Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo
Cited in: 5 Publications (2016–2021)
Related Software: AGG; AGREE; GROOVE; APIDiff; MIGRATE; EMorF; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

WALA

Software Authors:   IBM
Cited in: 4 Publications (2009–2021)
Related Software: Soot; Sawja; FlowDroid; FlashMeta; FlashRelate; TAJ; …
Main Fields: Computer science (68-XX)

Anteater

Software Authors:   Mai, H., Khurshid, A., Agarwal, R., Caesar, M., Godfrey, P., King, S.T.
Cited in: 4 Publications (2013–2021)
Related Software: VeriCon; Kuai; VeriFlow; NetKAT; LoLA; ABS; …
Main Fields: Computer science (68-XX)

Cibai

Software Authors:   Logozzo, Francesco
Cited in: 4 Publications (2007–2010)
Related Software: Groovy; Boogie; PPL; ASTREE; CSSV; BoogiePL; …
Main Fields: Computer science (68-XX)

DD3IMP

Software Authors:   L. F. Menezes; D. M. Neto; M. C. Oliveira; J. L. Alves
Cited in: 4 Publications (2007–2017)
Related Software: Netgen; FEAPpv; MKL; PARDISO; GiD
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

DIFtree

Software Authors:   J.B. Dugan, B. Venkataraman, R. Gulati
Cited in: 4 Publications (2003–2017)
Related Software: DFTCalc; CADP; MRMC; Galileo; PREP/KITT; MOCUS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

GRace

Software Authors:   Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal
Cited in: 3 Publications (2015–2022)
Related Software: CUDA; GKLEE; GPUVerify; GMRace; CURD; BARRACUDA; …
Main Fields: Mathematical logic and foundations (03-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

HAND

Software Authors:   Qi, L., Jin, H., Foster, I., Gawor, J.
Cited in: 0 Publications
Related Software: Globus Toolkit; MapReduce; WebSphere; Open Science Grid; Giggle; Pegasus; …
Main Fields:

HEXACT

Software Authors:   Henninger, Christoph; Eberhard, Peter
Cited in: 4 Publications (2004–2005)
Related Software: NEWOPT/AIMS; ADIFOR; Neweul
Main Fields: Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)

Jakstab

Software Authors:   Johannes Kinder, Helmut Veith
Cited in: 3 Publications (2011–2018)
Related Software: SLAM; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; FrankenBit; …
Main Fields: Computer science (68-XX)

NewPolka

Software Authors:   Jeannet B.
Cited in: 3 Publications (2007–2015)
Related Software: PPL; Apron; TINA; Romeo; Esterel; CUDD; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

NOSA-ITACA

Software Authors:   Porcelli, Margherita; Binante, Vincenzo; Girardi, Maria; Padovani, Cristina; Pasquinelli, Giuseppe
Cited in: 4 Publications (2014–2020)
Related Software: ARPACK; DAKOTA; lobpcg.m; profile wavefront; Salinas; JDCG; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

Privtrans

Software Authors:   Brumley D, Song D X
Cited in: 1 Publication (2017)
Related Software: Privman; CSSV; MOPS; CCured; RacerX; SGX; …
Main Fields: Computer science (68-XX)

RefactorErl

Software Authors:   Eötvös Loránd University, ​Budapest
Cited in: 3 Publications (2008–2013)
Related Software: Erlang
Main Fields: Computer science (68-XX)

RiTHM

Software Authors:   Navabpour S, Joshi Y, Wu CWW, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S
Cited in: 4 Publications (2015–2020)
Related Software: CBMC; NuSMV; SPIN; BLAST; C2M; MSVL; …
Main Fields: Computer science (68-XX)

SAFECode

Software Authors:   Dhurjati, D., Kowshik, S., Adve, V.
Cited in: 4 Publications (2008–2013)
Related Software: CCured; Coq; LLVM
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-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: Computer science (68-XX)

Sawja

Software Authors:   Hubert, Laurent; Barr\'e, Nicolas; Besson, Fr\'ed\'eric; Demange, Delphine; Jensen, Thomas; Monfort, Vincent; Pichardie, David; Turpin, Tiphaine
Cited in: 4 Publications (2011–2022)
Related Software: WALA; PAGAI; GitHub; LOCKSMITH; LLVM; Moped; …
Main Fields: Computer science (68-XX)

Sparrow

Software Authors:   Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Cited in: 4 Publications (2016–2021)
Related Software: Soot; Apron; ASTREE; DaCapo; SPIN; PMTK; …
Main Fields: Computer science (68-XX)