×

Found 46 Software Packages (Results 1–46)

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; Boogie; Coq; 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; VCC; …
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; TINA; Romeo; 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)

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)

McScM

Software Authors:   Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire
Cited in: 0 Publications
Related Software: TaPAS; CADP; SPIN; TREX
Main Fields:

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)