×

Found 382 Software Packages (Results 1–100)

PETSc

Software Authors:   S. Balay, W.D. Gropp, L.C. McInnes, B.F. Smith
Cited in: 1,592 Publications (1996–2023)
Related Software: FEniCS; hypre; MUMPS; SLEPc; Trilinos; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Cited in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Isar

Software Authors:   Makarius Wenzel
Cited in: 144 Publications (2000–2021)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

BLAST

Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Cited in: 105 Publications (2003–2021)
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

COMET

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Cited in: 75 Publications (2004–2021)
Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; SCIP; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Stratego

Software Authors:   Visser, Eelco
Cited in: 75 Publications (2001–2022)
Related Software: Maude; ELAN; Tom; Haskell; ASF+SDF; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Bebop

Software Authors:   Thomas Ball, Sriram K. Rajamani
Cited in: 70 Publications (2000–2022)
Related Software: SPIN; Bandera; SLAM; SatAbs; Java PathFinder; CBMC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Cited in: 66 Publications (2012–2022)
Related Software: Ipopt; ACADO; qpOASES; Matlab; HSL; SUNDIALS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

FOCI

Software Authors:   Ranjit Jhala, Kenneth L. McMillan
Cited in: 63 Publications (2004–2021)
Related Software: Princess; z3; CSIsat; SIMPLIFY; Chaff; BLAST; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

MathSAT

Software Authors:   Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Cited in: 56 Publications (2005–2022)
Related Software: z3; Yices; MiniSat; SMT-LIB; HySAT; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-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)

SatAbs

Software Authors:   Clarke, E., Kroning, D., Sharygina, N., Yorav, K.
Cited in: 35 Publications (2005–2021)
Related Software: BLAST; SLAM; CPAchecker; SPIN; Bebop; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Spark

Software Authors:   Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I
Cited in: 39 Publications (2015–2021)
Related Software: MapReduce; Hadoop; Apache Spark; MLlib; Dryad; R; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

DUNE-FEM

Software Authors:   Dedner, Andreas; Klöfkorn, Robert; Nolte, Martin; Ohlberger, Mario
Cited in: 39 Publications (2010–2022)
Related Software: DUNE; deal.ii; PETSc; FEniCS; Feel++; UFL; …
Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

EasyLocal++

Software Authors:   Di Gaspero, L., Schaerf, A
Cited in: 32 Publications (2001–2022)
Related Software: Localizer; Tabu search; COMET; CPLEX; SALSA; ParaDisEO; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Cited in: 33 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MAGIC

Software Authors:   Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut
Cited in: 37 Publications (2003–2019)
Related Software: ComFoRT; Bandera; SPIN; Bebop; Maude; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SG

Software Authors:   Holst, M.J.
Cited in: 38 Publications (2001–2022)
Related Software: APBS; FreeFem++; CHARMM; DelPhi; PDB2PQR; MIBPB; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Prodigy

Software Authors:   Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X.
Cited in: 24 Publications (1992–2019)
Related Software: UCPOP; Graphplan; KQML; Bliksem; Waldmeister; SPASS; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CEGAR

Software Authors:   Hermanns, Holger; Wachter, Björn; Zhang, Lijun
Cited in: 35 Publications (2006–2021)
Related Software: PRISM; MRMC; PASS; SatAbs; AMUSE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Cited in: 32 Publications (1998–2019)
Related Software: Oz; Choco; SALSA; CHIP; BL data set; ELAN; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Cited in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

jStar

Software Authors:   DiStefano, D., Parkinson, M.
Cited in: 30 Publications (2008–2022)
Related Software: VeriFast; Smallfoot; Boogie; Coq; Spec#; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lifting

Software Authors:   Brian Huffman, Ondřej Kunčar
Cited in: 30 Publications (2013–2022)
Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

MATISSE

Software Authors:   Girard, Antoine; Pappas, George J.
Cited in: 30 Publications (2007–2022)
Related Software: HyTech; PHAVer; SpaceEx; Sostools; Matlab; d/dt; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

rgdal

Software Authors:   Roger Bivand, Tim Keitt, Barry Rowlingson, Edzer Pebesma, Michael Sumner, Robert Hijmans, Even Rouault
Cited in: 9 Publications (2008–2021)
Related Software: R; maptools; ggplot2; raster; RColorBrewer; rgeos; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

SALSA

Software Authors:   Laburthe, Francois; Caseau, Yves
Cited in: 30 Publications (2000–2017)
Related Software: COMET; Localizer; Oz; CPLEX; OPL; CLAIRE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Transfer

Software Authors:   Brian Huffman, Ondřej Kunčar
Cited in: 30 Publications (2013–2022)
Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

BETA

Software Authors:   Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
Cited in: 21 Publications (1985–2016)
Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ARMC

Software Authors:   Andreas Podelski, Andrey Rybalchenko
Cited in: 25 Publications (2007–2020)
Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PIPER

Software Authors:   Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob
Cited in: 28 Publications (2002–2017)
Related Software: SLMC; Cyclone; PiDuce; Automath; TyPiCal; COWS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CellML

Software Authors:   Hedley, Warren J.; Nelson, Melanie R.; Bullivant, David P.; Nielsen, Poul F.
Cited in: 17 Publications (2001–2021)
Related Software: Chaste; COPASI; SUNDIALS; CellSys; R; Python; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Benchmarks

Software Authors:   Ratschan, Stefan; She, Zhikun
Cited in: 25 Publications (2005–2021)
Related Software: RSOLVER; HSolver; HyTech; PHAVer; Sostools; QEPCAD; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

TSFC

Software Authors:   Miklós Homolya, Lawrence Mitchell, Fabio Luporini, David A. Ham
Cited in: 22 Publications (2016–2022)
Related Software: Firedrake; PETSc; UFL; petsc4py; COFFEE; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BoxLib

Software Authors:   CCSE
Cited in: 19 Publications (1998–2022)
Related Software: Chombo; PARAMESH; CASTRO; SAMRAI; Carpet; MAESTRO; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Essence

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
Cited in: 25 Publications (2008–2022)
Related Software: MiniZinc; Zinc; ESRA; Gecode; COMET; AMPL; …
Main Fields: Associative rings and algebras (16-XX); Computer science (68-XX); Quantum theory (81-XX)

UCLID

Software Authors:   Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia
Cited in: 24 Publications (2002–2020)
Related Software: Chaff; PVS; MiniSat; SMT-LIB; cvc3; Siege; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

HOL/SPIN

Software Authors:   Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
Cited in: 22 Publications (2000–2017)
Related Software: SPIN; Uppaal; AODV; LOTOS; Rodin; Timed Rebeca; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

UFO

Software Authors:   Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
Cited in: 18 Publications (2012–2021)
Related Software: CPAchecker; z3; BLAST; SLAM; SatAbs; CBMC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Epigram

Software Authors:   McBride, Conor
Cited in: 22 Publications (2005–2020)
Related Software: Coq; Agda; Haskell; LEGO; Irdis; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

Facile

Software Authors:   Giacalone, A., Mishra, P., Prasad, S
Cited in: 22 Publications (1990–2009)
Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PESSOA

Software Authors:   Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak
Cited in: 20 Publications (2011–2022)
Related Software: SCOTS; CoSyma; TuLiP; Matlab; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Reveal

Software Authors:   Andraus, Zaher S.; Liffiton, Mark H.; Sakallah, Karem A.
Cited in: 22 Publications (1993–2021)
Related Software: MiniSat; MUSer2; HMQV; Paracooba; Kissat; CaDiCaL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

TestEra

Software Authors:   Marinov, D; Khurshid, S
Cited in: 14 Publications (2002–2019)
Related Software: Korat; Rostra; Symstra; z3; CUTE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GrGen

Software Authors:   Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam
Cited in: 15 Publications (2006–2020)
Related Software: GROOVE; AGG; PROGRES; Graph transformation benchmarks; Fujaba; VIATRA2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

OASIS

Software Authors:   Kuchumov, Alexei; Rybin, Sergey; Strohmeier, Alfred
Cited in: 21 Publications (1990–2009)
Related Software: ADML; C4.5; Oracle; Schittkowski; ANSYS
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

TnT

Software Authors:   Thorsten Brants
Cited in: 13 Publications (1998–2022)
Related Software: TreeTagger; Penn Treebank; Stanford Tagger; SVMTool; WordNet; Senseval; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Jakarta

Software Authors:   Daniela Junho de Andrade, Simão Melo de Sousa
Cited in: 17 Publications (2001–2014)
Related Software: Coq; OCaml; LETOS; A3PAT; SCC; ITP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Geophysics (86-XX)

Pynn

Software Authors:   A.P. Davison, D. Brüderle, J. Eppler, J. Kremkow, E. Muller, D. Pecevski, L. Perrinet, P. Yger
Cited in: 8 Publications (2011–2021)
Related Software: NEST; NEURON; Brian; Python; SpiNNaker; PyNEST; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

CAQE

Software Authors:   Rabe, M.N., Tentrup, L.
Cited in: 17 Publications (2016–2022)
Related Software: DepQBF; HQSpre; Quaffle; Bloqqer; semprop; ABC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MBase

Software Authors:   Franke, Andreas; Kohlhase, Michael
Cited in: 17 Publications (1999–2006)
Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-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)

Dagger

Software Authors:   Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
Cited in: 14 Publications (2008–2018)
Related Software: PPL; Apron; ARMC; SLAM; ASTREE; SeaHorn; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FODD-Planner

Software Authors:   Joshi, S.; Khardon, R.
Cited in: 13 Publications (2008–2021)
Related Software: FluCaP; Graphplan; ProbLog; GOLOG; PEORL; REBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GDAL

Software Authors:   F. Warmerdam
Cited in: 1 Publication (2017)
Related Software: Python; QGIS; NumPy; R; ArcGIS; SciPy; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX)

Viper

Software Authors:   Peter Müller, Malte Schwerhoff , Alexander J. Summers
Cited in: 15 Publications (2016–2022)
Related Software: VeriFast; z3; Boogie; Dafny; Frama-C; VerCors; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

batchtools

Software Authors:   Michel Lang, Bernd Bischl, Dirk Surmann
Cited in: 10 Publications (2017–2022)
Related Software: R; mlr; OpenML; ranger; rpart; clustermq; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

CARIBOO

Software Authors:   O. Fissore, I. Gnaedig, H. Kirchner
Cited in: 14 Publications (2004–2012)
Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DGL

Software Authors:   Minjie Wang, Da Zheng, Guan Gan, Mufei Li, Zihao Ye, Chao Ma, Jinjing Zhou, Xiang Song, Tianjun Xiao, Tong He, Jian Zhang, Wen-ming Ye, George Karypis, Zheng Zhang
Cited in: 4 Publications (2021–2022)
Related Software: PyTorch; Python; MoleculeNet; CogDL; GNNExplainer; ZINC; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

DMPlex

Software Authors:   Lange, Michael; Mitchell, Lawrence; Knepley, Matthew G.; Gorman, Gerard J.
Cited in: 14 Publications (2016–2022)
Related Software: PETSc; Firedrake; DOLFIN; FEniCS; PyOP2; hypre; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

FAUST2

Software Authors:   S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate
Cited in: 14 Publications (2017–2021)
Related Software: PRISM; StocHy; SReachTools; AMYTISS; MPT; Sostools; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RESUME

Software Authors:   Yuval Shahar; Mark A. Musen
Cited in: 8 Publications (1997–2018)
Related Software: Protege; PhysioToolkit; CloSpan; BIDE; MacRad; Snoop; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

TuLiP

Software Authors:   Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
Cited in: 14 Publications (2016–2022)
Related Software: PESSOA; CoSyma; SCOTS; CUDD; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

YASM

Software Authors:   Arie Gurfinkel, Ou Wei, Marsha Chechik
Cited in: 13 Publications (2006–2022)
Related Software: CUDD; SLAM; BLAST; Bebop; SPIN; ASTREE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

MoCHi

Software Authors:   Sato, Ryosuke; Kobayashi, Naoki; Hiroshi Unno
Cited in: 13 Publications (2015–2021)
Related Software: z3; CVC4; GitHub; Dafny; Spacer; JayHorn; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

SYMBA

Software Authors:   Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
Cited in: 13 Publications (2014–2021)
Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Firmato

Software Authors:   Bartal, Y., Mayer, A., Nissim, K., Wool, A.
Cited in: 6 Publications (2001–2018)
Related Software: FIREMAN; Skybox; Snort; Graphviz; nftables; iptables; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

HSF

Software Authors:   Grebenshchikov, S., Gupta, A., Lopes, N.P., Popeea, C., Rybalchenko, A.
Cited in: 10 Publications (2012–2021)
Related Software: z3; VeriMAP; TRACER; ARMC; CPAchecker; PPL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Cited in: 11 Publications (2017–2022)
Related Software: Ivy; z3; nuXmv; Verdi; SPIN; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Sigma*

Software Authors:   Matko Botinčan, Domagoj Babić
Cited in: 12 Publications (2013–2022)
Related Software: libalf; z3; RALib; LearnLib; Daikon; DART; …
Main Fields: Computer science (68-XX)

tIGAr

Software Authors:   Kamensky, David; Bazilevs, Yuri
Cited in: 12 Publications (2019–2022)
Related Software: FEniCS; PETSc; ShNAPr; CouDALFISh; UFL; DOLFIN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

fc2tools

Software Authors:   Bouali, A., Ressouche, A., Roy, V., de Simone, R.
Cited in: 11 Publications (1999–2015)
Related Software: CADP; Exp.Open; CMC; CAESAR_SOLVE; E-LOTOS; Oyster; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

FluCaP

Software Authors:   Hölldobler, S.; Karabaev, E.; Skvortsova, O.
Cited in: 11 Publications (2006–2021)
Related Software: FODD-Planner; ProbLog; CCalc; Graphplan; GOLOG; BLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

future

Software Authors:   Henrik Bengtsson
Cited in: 2 Publications (2021)
Related Software: R; ggplot2; doFuture; foreach; rjags; Scikit; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

GameShrink

Software Authors:   Gilpin, Andrew; Sandholm, Tuomas
Cited in: 10 Publications (2007–2020)
Related Software: DeepStack; Libratus; NetworkX; Radish; AMPL; LPbook
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PASS

Software Authors:   Björn Wachter; Lijun Zhang; Holger Hermanns; Moritz Hahn
Cited in: 10 Publications (2010–2022)
Related Software: PRISM; CEGAR; MoDeST; Rapture; PRISM-games; PARAM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Zapato

Software Authors:   Ball, T., Cook, B., Lahiri, S.K., Zhang, L.
Cited in: 11 Publications (2004–2018)
Related Software: CVC Lite; Chaff; MiniSat; E Theorem Prover; ICS; MathSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AmoebotSim

Software Authors:   Derakhshandeh, Z., Dolev, S., Gmyr, R., Richa, A.W., Scheideler, C., Strothmann, T
Cited in: 10 Publications (2016–2022)
Related Software: CADbots; Chord
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Charge!

Software Authors:   Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
Cited in: 10 Publications (2012–2021)
Related Software: Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTIGAR

Software Authors:   Birgmeier, J., Bradley, A.R., Weissenbacher, G.
Cited in: 8 Publications (2016–2021)
Related Software: z3; PySMT; MathSAT5; nuXmv; Kind 2; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

DiVer

Software Authors:   Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
Cited 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)

GraphX

Software Authors:   Joseph E. Gonzalez; Reynold S. Xin; Ankur Dave, Daniel Crankshaw, Michael J. Franklin; Ion Stoica
Cited in: 7 Publications (2016–2022)
Related Software: Pregel; PowerGraph; GraphLab; Apache Spark; Ligra; SNAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

InVeSt

Software Authors:   Bensalem S, Lakhnech Y, Owre S
Cited in: 10 Publications (1999–2013)
Related Software: PVS; TREX; HOL; ACL2; HyTech; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rebeca

Software Authors:   Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
Cited in: 8 Publications (2010–2022)
Related Software: Uppaal; Creol; Timed Rebeca; SPIN; Viptos; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SAFARI

Software Authors:   Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.
Cited in: 8 Publications (2014–2020)
Related Software: Mcmt; z3; Booster; MathSAT5; CVC4; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TLAPS

Software Authors:   Lamport, L
Cited in: 10 Publications (1999–2021)
Related Software: SPIN; FOOL; Satallax; STeP; LaTeX; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriCool

Software Authors:   Smans, J., Jacobs, B., Piessens, F.
Cited in: 9 Publications (2009–2012)
Related Software: Boogie; VeriFast; Spec#; VCC; KRAKATOA; ESC/Java; …
Main Fields: Computer science (68-XX)

Verilog

Software Authors:   Sutherland, Stuart
Cited in: 10 Publications (1999–2020)
Related Software: VPI; Kami; Archive Formal Proofs; GitHub; UTPCalc; Circus; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CUDA.jl

Software Authors:   Besard, Tim; Foket, Christophe; De Sutter, Bjorn
Cited in: 5 Publications (2020–2022)
Related Software: Julia; CUDAnative.jl; LLVM; GitHub; COMSOL; PyTorch; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Line-up

Software Authors:   Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.
Cited in: 9 Publications (2011–2021)
Related Software: Coq; SPIN; RGITL; Z; KIV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OMAC

Software Authors:   McKay, Kenneth N.; Kletter, David B.; Graves, Stephen C.
Cited in: 9 Publications (1997–2010)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

Paragon

Software Authors:   Broberg, Niklas; van Delft, Bart; Sands, David
Cited in: 8 Publications (2010–2019)
Related Software: Jif; JRIF; Laminar; JFlow; FlowFox; JSFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

PCPATCH

Software Authors:   Farrell, Patrick E.; Knepley, Matthew G.; Mitchell, Lawrence; Wechsung, Florian
Cited in: 9 Publications (2020–2022)
Related Software: Firedrake; PETSc; MUMPS; DMPlex; hypre; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

PowerGraph

Software Authors:   J. E. Gonzalez, Y. Low, H. Gu, D. Bickson, C. Guestrin
Cited in: 8 Publications (2015–2022)
Related Software: Pregel; GraphX; GraphLab; Green-Marl; SparseMatrix; Elixir; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

A3PAT

Software Authors:   Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J.
Cited in: 8 Publications (2010–2017)
Related Software: CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CertiKOS

Software Authors:   Gu, R., Shao, Z., Chen, H., Wu, X.N., Kim, J., Sjöberg, V., Costanzo, D.
Cited in: 8 Publications (2017–2020)
Related Software: seL4; Isabelle/HOL; Isabelle; HOL; Coq; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Commonloops

Software Authors:   Bobrow, D.; Kahn, K.; Kiczales, G.; Masinter, L.; Stefik, M.; Zdybel, F.
Cited in: 8 Publications (1986–2021)
Related Software: Eiffel; Smalltalk; LISP; Simula 67; Python; Dylan; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX); Systems theory; control (93-XX)

KRATOS

Software Authors:   A. Cimatti, A. Griggio, A. Micheli, I. Narasamdya, M. Roveri
Cited in: 7 Publications (2011–2018)
Related Software: BLAST; SystemC; SatAbs; LusSy; veriSoft; DDVerify; …
Main Fields: Computer science (68-XX)