Bandera Software Authors: Hatcliff, John; Dwyer, Matthew Cited in: 104 Publications (2000–2018) Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
ASTREE Software Authors: Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Cited in: 108 Publications (2002–2021) Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-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)
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)
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)
jStar Software Authors: DiStefano, D., Parkinson, M. Cited in: 30 Publications (2008–2022) Related Software: VeriFast; Smallfoot; Coq; Boogie; Spec#; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SeaHorn Software Authors: Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A. Cited in: 23 Publications (2015–2022) Related Software: z3; CPAchecker; VeriMAP; SMACK; JayHorn; RAHFT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
PAG Software Authors: Martin, Florian Cited in: 20 Publications (1996–2018) Related Software: NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; … Main Fields: Mathematical logic and foundations (03-XX); 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)
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)
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)
SMACK Software Authors: Carter, M., He, S., Whitaker, J., Rakamarić, Z., Emmi, M. Cited in: 8 Publications (2016–2022) Related Software: CBMC; z3; KLEE; CPAchecker; SeaHorn; Frama-C; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
AI2 Software Authors: Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T. Cited in: 9 Publications (2020–2021) Related Software: Reluplex; DeepFool; Marabou; Adam; PyTorch; DeepGauge; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Convex and discrete geometry (52-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)
HMC Software Authors: Jhala, R., Majumdar, R., Rybalchenko, A. Cited in: 7 Publications (2014–2021) Related Software: z3; Spacer; SeaHorn; Princess; Boogie; JayHorn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Alpha Software Authors: Wilde, D.K. Cited in: 6 Publications (1999–2005) Related Software: MMAlpha; PolyLib; OPERA; LUSTRE Main Fields: Computer science (68-XX)
RAHFT Software Authors: Kafle, B., Gallagher, J. P., Morales, J. F. Cited in: 6 Publications (2018–2021) Related Software: z3; Ciao; SeaHorn; CiaoPP; TreeAutomizer; HSF; … Main Fields: Mathematical logic and foundations (03-XX); 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)
FixBag Software Authors: Tuan-Hung Pham; Minh-Thai Trinh; Anh-Hoang Truong; Wei-Ngan Chin Cited in: 3 Publications (2013–2017) Related Software: MemCAD; TVLA; Predator; Quicr; SLAyer; Apron; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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; Romeo; TINA; Esterel; CUDD; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
PRECiSA Software Authors: Titolo, Laura; Feliú, Marco A.; Moscato, Mariano; Muñoz, César A. Cited in: 4 Publications (2018–2021) Related Software: RangeLab; z3; ASTREE; Frama-C; PVS; Reluplex; … Main Fields: Numerical analysis (65-XX); 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)
DTRE Software Authors: Lee Blaine, Allen Goldberg Cited in: 3 Publications (1993–2015) Related Software: Fiat; KIDS; OCaml; Coq; Specware; Nuprl; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
EigenCFA Software Authors: Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary Cited in: 3 Publications (2011–2012) Related Software: PETSc; CUDA; THORS; TRecS; ARMC; SPIN Main Fields: Computer science (68-XX)
McAiT Software Authors: Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang Cited in: 1 Publication (2013) Related Software: OTAWA; CPAchecker; REDLIB; Synthia; UPPAAL TIGA; CMC; … Main Fields: Computer science (68-XX)
ParJava Software Authors: Ivannikov, V.P.; Avetisyan, A.I.; Gaissaryan, S.S.; Akopyan, M.S. Cited in: 3 Publications (2007–2009) Related Software: Chapel; MPJ Express; Fortress; Intel MPI Benchmarks; Cilk; MPI Main Fields: Computer science (68-XX)
TSL Software Authors: Lim, J., Reps, T.W. Cited in: 3 Publications (2015–2021) Related Software: K Prover; TSOTool; CompCert; Lem; CoqJVM; Isabelle/HOL; … Main Fields: Computer science (68-XX)
ABASH Software Authors: Mazurak, K., Zdancewic, S. Cited in: 1 Publication (2010) Related Software: NixOS; OPIUM Main Fields: Computer science (68-XX)
ac2lus Software Authors: Altisen K, Moy M Cited in: 2 Publications (2014–2016) Related Software: CATS; COINC; LUSTRE; gem5; LLVM; Uppaal; … Main Fields: Computer science (68-XX)
CDB-PV Software Authors: Scot Anderson, Peter Revesz Cited in: 2 Publications (2010–2019) Related Software: ESMF; MLPQ; DEDALE; XPERANTO; CCUBE; LyriC; … Main Fields: Computer science (68-XX); Geophysics (86-XX)
FuncTion Software Authors: Urban, C. Cited in: 2 Publications (2015) Related Software: AProVE; Ultimate Kojak; LTLAutomizer; Ultimate; CBMC; MathSAT5; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
IKOS Software Authors: Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet Cited in: 1 Publication (2015) Related Software: – Main Fields: Computer science (68-XX)
julia Software Authors: Spoto, Fausto Cited in: 2 Publications (2013–2015) Related Software: Julia Static Analyzer; FunArray; ASTREE Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
McScM Software Authors: Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire Cited in: 1 Publication (2023) Related Software: TaPAS; CADP; SPIN; TREX Main Fields: Computer science (68-XX)
PRODeep Software Authors: Li R, Li J, Huang CC, Yang P, Huang X, Zhang L, Xue B, Hermanns H Cited in: 2 Publications (2021) Related Software: Reluplex; Marabou; XNOR-Net; EfficientNet; Apollo; MNIST; … Main Fields: Computer science (68-XX)
RangeLab Software Authors: Martel, M. Cited in: 2 Publications (2018–2021) Related Software: PRECiSA; Daisy; GitHub; FPTuner; dReal; z3; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
SMACS Software Authors: Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv'e; Massart, Thierry Cited in: 2 Publications (2011–2012) Related Software: Fixpoint; UMDES; Apron Main Fields: Systems theory; control (93-XX)
Clousot Software Authors: Fähndrich, Manuel; Logozzo, Francesco Cited in: 1 Publication (2012) Related Software: Eiffel Main Fields: Computer science (68-XX)
ERAN Software Authors: Secure, Reliable, and Intelligent Systems Lab (SRI), Department of Computer Science ETH Zurich Cited in: 1 Publication (2021) Related Software: FastGRNN; Shiftry; gRPC; AI2; DL2; SyReNN; … Main Fields: Computer science (68-XX)
FLDBox Software Authors: Védrine, Franck; Jacquemin, Maxime; Kosmatov, Nikolai; Signoles, Julien Cited in: 1 Publication (2021) Related Software: FLDCompiler Main Fields: Computer science (68-XX)
FLDCompiler Software Authors: Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine Cited in: 1 Publication (2021) Related Software: FLDBox Main Fields: Computer science (68-XX)
LPdoc Software Authors: Hermenegildo, M.V., Morales, J. Cited in: 1 Publication (2020) Related Software: go; XSB; Haskell Main Fields: Computer science (68-XX)
Metatheory.jl Software Authors: Alessandro Cheli Cited in: 0 Publications Related Software: MatchCore.jl; MLStyle.jl; egg; RuntimeGeneratedFunctions.jl; Julia Main Fields: –
SparrowBerry Software Authors: Cho, S., Kang, J., Choi, J., Yi, K. Cited in: 1 Publication (2017) Related Software: A3PAT; CoLoR; AProVE; CeTA; Isabelle/HOL Main Fields: Computer science (68-XX)
Ultimate Taipan Software Authors: Greitschus, M., Dietsch, D., Heizmann, M., Nutz, A., Schätzle, C., Schilling, C., Schüssele, F., Podelski, A. Cited in: 1 Publication (2018) Related Software: Skink; Ultimate Kojak; CPAchecker; Ultimate Automizer; SMTInterpol; BLAST Main Fields: Computer science (68-XX)