PVS Software Authors: Sam Owre, Natarajan Shankar, John Rushby Cited in: 607 Publications (1993–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; ACL2; Nuprl; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
UNITY Software Authors: K. Mani Chandy; Jayadev Misra Cited in: 178 Publications (1988–2021) Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; … 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: 148 Publications (2000–2022) 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)
spatstat Software Authors: Adrian Baddeley, Rolf Turner, Ege Rubak; et al Cited in: 115 Publications (2005–2023) Related Software: R; spatial; pyuvdata; Splancs; lgcp; R-Geo; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Java PathFinder Software Authors: Havelund, Klaus; Pressburger, Thomas Cited in: 92 Publications (2000–2021) Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 106 Publications (2002–2023) Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
CompCert Software Authors: Leroy, X. Cited in: 51 Publications (2009–2022) Related Software: Coq; Isabelle/HOL; z3; CakeML; cminor; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
RRL Software Authors: D.Kapur; H.Zhang Cited in: 48 Publications (1985–2019) Related Software: NQTHM; REVE; OTTER; SPIKE; PVS; Tecton; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
MPTP 0.2 Software Authors: Urban, Josef Cited in: 52 Publications (2006–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; MaLARea; TPTP; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PolyBoRi Software Authors: Alexander Dreyer; Michael Brickenstein Cited in: 49 Publications (2008–2022) Related Software: SINGULAR; SageMath; Magma; FGb; CUDD; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)
FLAME Software Authors: Bientinese, Paolo; Quintana-Ortí, Enrique S.; van de Geijn, Robert A Cited in: 39 Publications (1997–2022) Related Software: LAPACK; BLAS; ATLAS; libflame; SPIRAL; ScaLAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
STeP Software Authors: N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe Cited in: 33 Publications (1997–2015) Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
JUnit Software Authors: Cheon, Yoonsik; Leavens, Gary T. Cited in: 15 Publications (2002–2020) Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
Reluplex Software Authors: Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer Cited in: 29 Publications (2017–2022) Related Software: AI2; Marabou; Adam; NNV; MNIST; DeepFool; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)
ECHO Software Authors: L. Del Zanna, O. Zanotti, N. Bucciantini, P. Londrillo Cited in: 29 Publications (2008–2021) Related Software: RIEMANN; HLLE; HE-E1GODF; WhiskyMHD; HARM; Pluto; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 29 Publications (2014–2022) Related Software: HOL Light; Mizar; Flyspeck; E Theorem Prover; Sledgehammer; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
NESTOR Software Authors: Cooper, G.F. Cited in: 27 Publications (1985–2017) Related Software: TETRAD; DENDRAL; ElemStatLearn; MICE; pcalg; impute; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
CERES Software Authors: Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno Cited in: 21 Publications (2005–2021) Related Software: GAPT; ProofTool; Mace4; Prover9; VAMPIRE; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PCOMP Software Authors: Dobmann, M.; Liepelt, M.; Schittkowski, K. Cited in: 20 Publications (1991–2013) Related Software: PDEFIT; EASY - FIT; ADOL-C; NL2SOL; Schittkowski; RODAS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
TAXYS Software Authors: Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick Cited in: 15 Publications (2001–2017) Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
IPSEN Software Authors: Schürr, Andy Cited in: 20 Publications (1991–2010) Related Software: mctoolbox; LAPACK; GRAS; DRAGOS; PostgreSQL; Fujaba; … Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX)
SCR Software Authors: Bourguiba, Imen; Moa, Belaid Cited in: 10 Publications (2000–2018) Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Atomizer Software Authors: Flanagan C, Freund SN Cited in: 16 Publications (2004–2021) Related Software: Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LATIN Software Authors: Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian Cited in: 17 Publications (2011–2021) Related Software: MMT; Isabelle; OMDoc; Coq; QMT; Mizar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Teyjus Software Authors: Nadathur, G., Mitchell, D.J. Cited in: 17 Publications (2001–2022) Related Software: Twelf; Abella; Isabelle/HOL; Coq; Beluga; ELPI; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VIS Software Authors: Brayton, R.K., et al. Cited in: 10 Publications (2005–2015) Related Software: NuSMV; SPIN; HyTech; LTL2BA; SPOT; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CORA Software Authors: Matthias Althoff, Niklas Kochdumper Cited in: 15 Publications (2016–2022) Related Software: SpaceEx; HYST; C2e2; HyTech; PHAVer; MPT; … Main Fields: Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
ArcAngel Software Authors: Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim Cited in: 12 Publications (2003–2022) Related Software: Z; ProofPower; Circus; ClawZ; ZRC; ArcAngelC; … Main Fields: Computer science (68-XX)
Ivy Software Authors: McMillan, K.L., Padon, O. Cited in: 14 Publications (2017–2023) Related Software: Ivy; z3; Verdi; nuXmv; Coq; PSync; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Isabelle/PIDE Software Authors: Makarius Wenzel; Burkhart Wolff Cited in: 13 Publications (2012–2020) Related Software: Coq; Isabelle; Isabelle/jEdit; Proof General; Isabelle/HOL; PIDE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ArgoCLP Software Authors: Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag Cited in: 12 Publications (2011–2020) Related Software: Coq; GCLC; TPTP; GEX; GeoGebra; Isar; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
MJ Software Authors: Bierman GM, Parkinson MJ, Pitts AM Cited in: 9 Publications (2006–2019) Related Software: Featherweight Java; Welterweight Java; Cyclone; JavaSPI; AGVI; Scala; … Main Fields: Computer science (68-XX)
ChC 3 Software Authors: Durán, Francisco; Meseguer, José Cited in: 10 Publications (2010–2020) Related Software: Maude; CRC 3; MTT; Anima; Web-TLR; MFE; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
Exp.Open Software Authors: Frédéric Lang Cited in: 10 Publications (2006–2021) Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; LNT2LOTOS; CAESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
hexbin Software Authors: Dan Carr; Nicholas Lewin-Koh; Martin Maechler Cited in: 8 Publications (2008–2020) Related Software: R; ggplot2; rggobi; scatterplot3d; quadprog; mvpart; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Quantum theory (81-XX)
Java-MaC Software Authors: Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky Cited in: 11 Publications (2003–2021) Related Software: JPAX; Java-MOP; Copilot; AspectWerkz; AspectJ; InterAspect; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
mural Software Authors: Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D. Cited in: 10 Publications (1991–2014) Related Software: HOL; Nuprl; UNITY; Jape; FermaT; Rodin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ANNA Software Authors: Luckham, David Cited in: 8 Publications (1986–2007) Related Software: Ada95; SPARK; Spec#; JML; Eiffel; LARCH; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
DREAM Software Authors: Vrugt, J. A Cited in: 10 Publications (2018–2022) Related Software: NUTS; Glow; GitHub; Matlab; BayesDA; MADE; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
NASA PVS Software Authors: NASA Langley Cited in: 8 Publications (2008–2018) Related Software: PVS; Isabelle/HOL; ACL2; Nuprl; MONA; STP; … Main Fields: Combinatorics (05-XX); General algebraic systems (08-XX); Commutative algebra (13-XX)
TacticToe Software Authors: Gauthier, T., Kaliszyk, C., Urban, J. Cited in: 10 Publications (2017–2021) Related Software: E Theorem Prover; ENIGMA; MaLeCoP; FEMaLeCoP; HOL; Coq; … Main Fields: Computer science (68-XX)
VeriFun Software Authors: Christoph Walther; Stephan Schweitzer Cited in: 10 Publications (2005–2017) Related Software: ACL2; Haskell; Coq; Isabelle/HOL; AProVE; SPIKE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
IsaWin Software Authors: Christoph Lüth; Burkhart Wolff Cited in: 7 Publications (1999–2007) Related Software: TAS; Proof General; Mizar; Proof General Kit; IsaPlanner; Isar; … Main Fields: Computer science (68-XX)
ModelPlex Software Authors: Mitsch, S., Platzer, A. Cited in: 6 Publications (2016–2021) Related Software: Coq; KeYmaera; SpaceEx; KeYmaera X; Bellerophon; dReach; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Sylvan Software Authors: van Dijk, T.; van de Pol, J. Cited in: 8 Publications (2020–2022) Related Software: LTSmin; Storm; PROPhESY; GitHub; BuDDy; CUDD; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
tKlaim Software Authors: De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario Cited in: 6 Publications (2005–2008) Related Software: KLAIM; Linda; Klava; SLMC; MWB Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Truth/SLC Software Authors: Leucker, Martin; Noll, Thomas Cited in: 4 Publications (2001–2007) Related Software: mCRL; CADP; PlayGame Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
UniForM Software Authors: Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer Cited in: 7 Publications (1999–2011) Related Software: Uppaal; FranTk; GHC; Haskell; MersenneTwister; MONA; … Main Fields: Computer science (68-XX)
DisCo Software Authors: Aaltonen, Timo; Katara, Mika; Pitkänen, Risto Cited in: 7 Publications (1998–2006) Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; … Main Fields: Computer science (68-XX)
Lutess Software Authors: du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N. Cited in: 5 Publications (1999–2012) Related Software: ATGen; GATeL; Maude; Circus; Reo; SIGNAL; … Main Fields: Computer science (68-XX)
SackinMinimizer Software Authors: Fischer, Mareike Cited in: 7 Publications (2020–2021) Related Software: OEIS; Mathematica; R; SymmeTree; GitHub; devtools; … Main Fields: Combinatorics (05-XX); Measure and integration (28-XX); Biology and other natural sciences (92-XX)
na15 Software Authors: da Rocha, Zélia Cited in: 6 Publications (1999–2021) Related Software: Mathematica; OPQ; numeralgo; Netlib Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX)
Transalg Software Authors: Otpuschennikov, I., Semenov, A.,Kochemazov, S. Cited in: 6 Publications (2011–2021) Related Software: MiniSat; Trivium; URSA; CBMC; GitHub; Grain; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Z2sal Software Authors: J Derrick, S North, A J H Simons Cited in: 5 Publications (2008–2012) Related Software: SPIN; Z; Z/EVES; CZT; jSpin; PROMELA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
hp.sr Software Authors: Feil, T.M.; Homeier, H.H.H. Cited in: 5 Publications (2004–2016) Related Software: Mathematica; Maple Main Fields: Sequences, series, summability (40-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
NetLSD Software Authors: Anton Tsitsulin, Davide Mottin, Panagiotis Karras, Alex Bronstein, Emmanuel Müller Cited in: 2 Publications (2020–2021) Related Software: Python; PyTorch; SciPy; NumPy; NetworkX; Scikit; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
ROCS Software Authors: Li, Yinan; Liu, Jun Cited in: 5 Publications (2018–2021) Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
TRADE Software Authors: Wieringa, Roel J.; Jansen, David N. Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
VeriCon Software Authors: Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A. Cited in: 5 Publications (2014–2021) Related Software: Anteater; NetKAT; Kuai; VeriFlow; LoLA; Frenetic; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CSPsim Software Authors: Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L. Cited in: 4 Publications (2007–2009) Related Software: Eiffel; SCOOP; TCOZ; Circus; Ada95; Boogie; … Main Fields: Computer science (68-XX)
FaPAS Software Authors: B. Yordanov, C. Belta Cited in: 4 Publications (2013–2018) Related Software: NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
helperOC Software Authors: Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin Cited in: 3 Publications (2020–2022) Related Software: ToolboxLS; PILCO; Python; BaRC Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
Krohn-Rhodes Software Authors: Egri-Nagy, Attila; Nehaniv, Chrystopher L. Cited in: 4 Publications (2005–2011) Related Software: GAP; SgpDec Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)
Liss Software Authors: Černý, Pavol Author Profile; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten Cited in: 4 Publications (2015–2019) Related Software: Limi; CBMC; SymDiff; DART; kepler98; NModel; … Main Fields: Computer science (68-XX)
LySHA Software Authors: Duggirala, Parasara Sridhar; Mitra, Sayan Cited in: 4 Publications (2012–2021) Related Software: KeYmaera; KeYmaera X; Flow*; SpaceEx; MetiTarski; Bellerophon; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
multinomineq Software Authors: Daniel W. Heck Cited in: 4 Publications (2019–2022) Related Software: QTest; BIEMS; R; Stan; rPorta; GitHub; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
NLCertify Software Authors: Victor Magron Cited in: 4 Publications (2014–2017) Related Software: OCaml; Coq; Sollya; Flocq; dReal; HOL Light; … Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
OPERAS Software Authors: Stamatopoulou, Ioanna; Kefalas, Petros; Gheorghe, Marian Cited in: 2 Publications (2009–2017) Related Software: NetLogo Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SCELlight Software Authors: De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco Cited in: 4 Publications (2014–2020) Related Software: SCEL; SPIN; Linda; KLAIM; Pirlo; MultiVeStA; … Main Fields: Computer science (68-XX)
VERIFAI Software Authors: Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia Cited in: 3 Publications (2021) Related Software: Reluplex; NNV; Marabou; MNIST; SqueezeDet; Easychair; … Main Fields: Computer science (68-XX)
BINSEC/SE Software Authors: Robin David; Sébastien Bardin; Thanh Ta; Josselin Feist; Laurent Mounier; Marie-Laure Potet; Jean-Yves Marion Cited in: 3 Publications (2017–2021) Related Software: z3; CVC4; CBMC; DART; PathCrawler; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
bmem Software Authors: Zhang, Zhiyong; Wang, Lijuan Cited in: 3 Publications (2013–2020) Related Software: SPSS; R; DYFRAT; lavaan; SODAS; EQS; … Main Fields: Statistics (62-XX)
ForMaRE Software Authors: Lange, Christoph; Rowat, Colin; Kerber, Manfred Cited in: 3 Publications (2013–2018) Related Software: Isabelle/HOL; Arrow Gibbard Satterthwaite; Stable Matching; Coq/SSReflect; Isabelle/Isar; Coq; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
GenMul Software Authors: Mahzoon, A., Große, D., Drechsler, R. Cited in: 3 Publications (2020–2021) Related Software: PolyCleaner; RevSCA; multgen; Yosys; ABC; ACL2 Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
JavaSPI Software Authors: Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo Cited in: 1 Publication (2018) Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
LightDP Software Authors: Zhang, Danfeng; Kifer, Daniel Cited in: 3 Publications (2017–2022) Related Software: Pufferfish; z3; REDLOG; PrivateLR; vZ; QWire; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
NAT2TEST Software Authors: Carvalho G, Barros F, Carvalho A, Cavalcanti A, Mota A, Sampaio A Cited in: 3 Publications (2016–2018) Related Software: Boogie; contractLarva; DeltaEcore; DarwinSPL; SCEst; SCCharts; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Systems theory; control (93-XX)
PiXL Software Authors: del Mar Gallardo, María; Martínez, Jesús; Merino, Pedro; Nuñez, Pablo; Pimentel, Ernesto Cited in: 1 Publication (2007) Related Software: CAESAR; CAESAR_SOLVE; Bandera; CADP; NuSMV; SPIN; … Main Fields: Computer science (68-XX)
PyBioNetFit Software Authors: Mitra, ED; Suderman, R.; Colvin, J.; Ionkov, A.; Hu, A.; Sauro, HM; Posner, RG; Hlavacek, WS Cited in: 1 Publication (2020) Related Software: COPASI; AMIGO; tellurium; MEIGO; BioNetGen; Data2Dynamics; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
PyDL8.5 Software Authors: Aglin, G., Nijssen, S., Schaus, P. Cited in: 3 Publications (2022) Related Software: GOSDT; UCI-ml; rpart; R; C50; OSDT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
RevSCA Software Authors: Mahzoon, A., Große, D., Drechsler, R. Cited in: 3 Publications (2020–2021) Related Software: PolyCleaner; GenMul; multgen; Yosys; ABC; ACL2; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SBQL Software Authors: Cybula, Piotr; Subieta, Kazimierz Cited in: 2 Publications (2005–2006) Related Software: ODRA; AToM3; VIATRA2 Main Fields: Computer science (68-XX)
UMLsec Software Authors: Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S Cited in: 1 Publication (2018) Related Software: Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; … Main Fields: Computer science (68-XX)
verifier Software Authors: Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki Cited in: 3 Publications (2016–2019) Related Software: QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM Main Fields: Computer science (68-XX); Quantum theory (81-XX)
VeriStar Software Authors: Stewart, Gordon; Beringer, Lennart; Appel, Andrew W. Cited in: 3 Publications (2012–2016) Related Software: Coq; jStar; Smallfoot; Rocksalt; Gallina; VeriSmall; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BoSSS Software Authors: Florian Kummer, Martin Smuda, Jens Weber Cited in: 1 Publication (2021) Related Software: PARDISO; Jupyter; MUMPS Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
CoLiS Software Authors: Jeannerod, Nicolas; Marché, Claude; Treinen, Ralf Cited in: 2 Publications (2017) Related Software: Why3; WhyML; Shellcheck; CVC4; checkbashisms; E Theorem Prover; … Main Fields: Computer science (68-XX)
computational-algebra Software Authors: Ishii, Hiromi Cited in: 2 Publications (2018–2021) Related Software: GitHub; DoCon; ghc-typelits-presburger; type-natural; SmallCheck; QuickCheck; … Main Fields: Commutative algebra (13-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)
ESC4 Software Authors: James, Perry R.; Chalin, Patrice Cited in: 2 Publications (2010–2011) Related Software: Boogie; ESC/Java; OTTER; VACID-0; E Theorem Prover; VCC; … Main Fields: Computer science (68-XX)
FactorialSeriesTools Software Authors: Barkatou, Moulay A.; Cluzeau, Thomas; El Bacha, Carole Cited in: 2 Publications (2018–2021) Related Software: Maple; PseudoLinearSystems Main Fields: Special functions (33-XX); Difference and functional equations (39-XX); Computer science (68-XX)
FcaBedrock Software Authors: Andrews, S.; Orphanides, C. Cited in: 1 Publication (2015) Related Software: FCALGS; FCbO; In-Close; UCI-ml; AddIntent Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Gauss Software Authors: Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby Cited in: 2 Publications (2011–2018) Related Software: ISP; SPIN; SimGridMC; KITTeL; ASTREE; SIMGRID; … Main Fields: Computer science (68-XX)
HBAC Software Authors: Wang, J., Takata, Y., Seki, H. Cited in: 2 Publications (2009–2010) Related Software: – Main Fields: Computer science (68-XX)
IdentityHashMap Software Authors: Oracle Cited in: 1 Publication (2022) Related Software: JBMC; JMLUnit; OpenJML; KeY; JCrasher; VTune; … Main Fields: Computer science (68-XX)
mbeddr Software Authors: Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb Cited in: 1 Publication (2017) Related Software: Cyclone; Hume; Cedalion; JastAdd; Feldspar; js_of_ocaml; … Main Fields: Computer science (68-XX)
MultivariatePowerSeries Software Authors: Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma Cited in: 1 Publication (2021) Related Software: SageMath; Maple; PowerSeries; RegularChains; Mathematica; SolveTools; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX)
NeVer Software Authors: Pulina, Luca; Tacchella, Armando Cited in: 2 Publications (2011–2018) Related Software: Matlab; OPQ; SHARK; CESAR; Roboop Main Fields: Special functions (33-XX); Computer science (68-XX)
OpenCAL Software Authors: Davide Spataro; Donato D'Ambrosio; Alessio De Rango; et al. Cited in: 2 Publications (2020–2021) Related Software: CANv2; PYR; Kokkos; Python; PECANS; MODFLOW-2000 Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
POOSL Software Authors: Theelen, B. D.; Voeten, J. P. M.; Kramer, R. D. J. Cited in: 2 Publications (2003–2007) Related Software: Esterel; Uppaal; TIMES Main Fields: Computer science (68-XX)
popReconstruct Software Authors: Wheldon, Mark C.; Raftery, Adrian E.; Clark, Samuel J.; Gerland, Patrick Cited in: 1 Publication (2013) Related Software: R; AlleleRetain; bayesLife; wpp2010; wpp2012; bayesTFR; … Main Fields: Statistics (62-XX)