×

Found 92 Software Packages (Results 1–92)

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Referenced in: 95 Publications (2016–2022)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; AlexNet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

VeriFast

Software Authors:   Bart Jacobs; Jan Smans; Frank Piessens
Referenced in: 60 Publications (2009–2022)
Related Software: Boogie; Dafny; Why3; z3; Spec#; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CUTE

Software Authors:   Koushik Sen; Darko Marinov; Gul Agha
Referenced in: 50 Publications (2003–2021)
Related Software: DART; KLEE; z3; Pex; STP; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

KLEE

Software Authors:   Cristian Cadar, Daniel Dunbar, Dawson Engler
Referenced in: 37 Publications (2010–2021)
Related Software: z3; DART; CUTE; CPAchecker; STP; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

MXNet

Software Authors:   T. Chen, M. Li, Y. Li, M. Lin, N. Wang, M. Wang, T. Xiao, B. Xu, C. Zhang, Z. Zhang
Referenced in: 11 Publications (2018–2021)
Related Software: TensorFlow; PyTorch; Caffe; Theano; Python; Keras; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Pex

Software Authors:   Nikolai Tillmann, Jonathan de Halleux
Referenced in: 25 Publications (2009–2021)
Related Software: DART; CUTE; z3; STP; KLEE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Multilisp

Software Authors:   Halstead, Robert H.jun.
Referenced in: 29 Publications (1985–2019)
Related Software: Creol; Eiffel; Maude; ABS; Featherweight Java; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

jStar

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

APMC

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Referenced in: 28 Publications (2004–2021)
Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Symstra

Software Authors:   Xie, Tao; Marinov, Darko; Schulte, Wolfram; Notkin, David
Referenced in: 11 Publications (2005–2021)
Related Software: Korat; Java PathFinder; DART; CUTE; Rostra; BLAST; …
Main Fields: Computer science (68-XX)

Stranger

Software Authors:   Fang Yu, Muath Alkhalaf, Tevfik Bultan
Referenced in: 17 Publications (2011–2021)
Related Software: HAMPI; Z3str3; Norn; z3; S3; PASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FOXBOX

Software Authors:   Díaz, Angel; Kaltofen, Erich
Referenced in: 17 Publications (1998–2022)
Related Software: Maple; SACLIB; ffmodstd; Dagwood; PVMaple; CASA; …
Main Fields: Commutative algebra (13-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-XX)

Viper

Software Authors:   Peter Müller, Malte Schwerhoff , Alexander J. Summers
Referenced 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)

jCUTE

Software Authors:   Koushik Sen
Referenced in: 11 Publications (2008–2021)
Related Software: CUTE; DART; KLEE; Pex; z3; Java PathFinder; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

GKLEE

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

JPF-SE

Software Authors:   Anand S, Pasareanu CS, Visser W
Referenced in: 6 Publications (2011–2021)
Related Software: Java PathFinder; DART; CUTE; Korat; SLAM; BLAST; …
Main Fields: Computer science (68-XX)

Sigma*

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

TRACER

Software Authors:   Jaffar, J., Navas, J.A., Santosa, A.E.
Referenced in: 12 Publications (2012–2021)
Related Software: VeriMAP; ARMC; SeaHorn; HSF; z3; RAHFT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ATGen

Software Authors:   Christophe Meudec
Referenced in: 5 Publications (2005–2012)
Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; …
Main Fields: Computer science (68-XX)

SCAMP

Software Authors:   Sauro, Herbert M.; Fell, David A.
Referenced in: 7 Publications (1991–2011)
Related Software: GEPASI; Virtual Cell; E-CELL; MetaModel; MEG; TABASCO; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

STAR/MPI

Software Authors:   Cooperman, Gene
Referenced in: 11 Publications (1995–2007)
Related Software: ATLAS Group Representations; MeatAxe; Magma; GAP; TOP-C; ParGAP; …
Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX)

KnowRob

Software Authors:   Tenorth, Moritz; Beetz, Michael
Referenced in: 9 Publications (2016–2020)
Related Software: BLOG; BayesOWL; PR-OWL; Church; IBAL; BUGS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)

Z3-str

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

Consit

Software Authors:   Danicic, S.; Fox, C.; Harman, M.; Hierons, R.
Referenced in: 5 Publications (2005–2010)
Related Software: ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer
Main Fields: Computer science (68-XX)

TRANSIT

Software Authors:   Udupa, A., Raghavan, A., Deshmukh, J.V., Mador-Haim, S., Martin, M.M., Alur, R.
Referenced in: 6 Publications (2015–2021)
Related Software: CVC4; SIMPLIFY; FlashMeta; z3; Yices; FlashExtract; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PEORL

Software Authors:   Fangkai Yang, Daoming Lyu, Bo Liu, Steven Gustafson
Referenced in: 5 Publications (2019–2021)
Related Software: REBA; BWIBots; ALM; CCalc; PDDL; Clingcon; …
Main Fields: Computer science (68-XX)

RGITL

Software Authors:   Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang
Referenced in: 6 Publications (2014–2021)
Related Software: SPIN; KIV; Rodin; Line-up; Z; STeP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CPBPV

Software Authors:   Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal
Referenced in: 3 Publications (2010–2017)
Related Software: TCAS; CBMC; STP; BINSEC/SE; OSMOSE; MathSAT5; …
Main Fields: Computer science (68-XX)

SemFix

Software Authors:   Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , Satish Chandra
Referenced in: 2 Publications (2017–2022)
Related Software: Prophet; Angelix; GitHub; PyMT5; tox; Anaconda; …
Main Fields: Computer science (68-XX)

Transalg

Software Authors:   Otpuschennikov, I., Semenov, A.,Kochemazov, S.
Referenced in: 5 Publications (2011–2021)
Related Software: CaDiCaL; YalSAT; Lingeling; Treengeling; Plingeling; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

XSpeed

Software Authors:   Ray, Rajarshi; Gurung, Amit
Referenced in: 4 Publications (2017–2019)
Related Software: SpaceEx; Flow*; JuliaReach; Julia; Mosek; GLPK; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Z3str2

Software Authors:   Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu
Referenced in: 4 Publications (2017–2021)
Related Software: HAMPI; Z3str3; Stranger; Norn; z3; CVC4; …
Main Fields: Computer science (68-XX)

ADTEST

Software Authors:   Matthew J. Gallagher; V. Lakshmi Narasimhan
Referenced in: 1 Publication (2009)
Related Software: Genocop; Korat; TATOO
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
Referenced in: 3 Publications (2017–2021)
Related Software: z3; CBMC; DART; PathCrawler; NuSMV; CUTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Caper

Software Authors:   Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Andersen, Kristoffer Just; Birkedal, Lars
Referenced in: 3 Publications (2017–2021)
Related Software: Viper; VeriFast; HACL*; TacticToe; GRASShopper; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DyTa

Software Authors:   Ge X, Taneja K, Xie T, Tillmann N
Referenced in: 2 Publications (2017–2018)
Related Software: Pex; SANTE; Frama-C; Coq; MarQ; LARVA; …
Main Fields: Computer science (68-XX)

ExpoSE

Software Authors:   Loring, B., Mitchell, D., Kinder, J.
Referenced in: 3 Publications (2019–2021)
Related Software: DART; z3; jCUTE; Jalangi; KLEE; CUTE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FloPSy

Software Authors:   Lakhotia, K., Tillmann, N., Harman, M., de Halleux, J.
Referenced in: 1 Publication (2016)
Related Software: AUSTIN; CBMC; DART; GATeL; RealPaver; ICOS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

JST

Software Authors:   Ghosh I, Shafiei N, Li G, Chiang W
Referenced in: 3 Publications (2015–2017)
Related Software: PASS; S3; Z3-str; HAMPI; Stranger; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KLEE-FP

Software Authors:   Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Referenced in: 3 Publications (2011–2021)
Related Software: GKLEE; GPUVerify; CUDA; Boogie; GRace; GMRace; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

KLOVER

Software Authors:   Guodong Li; Indradeep Ghosh; Sreeranga P. Rajan
Referenced in: 1 Publication (2017)
Related Software: Angelix; jCUTE; CIL; SemFix; Prophet; JPF-SE; …
Main Fields: Computer science (68-XX)

Looper

Software Authors:   Burnim J, Jalbert N, Stergiou C, Sen K
Referenced in: 3 Publications (2016–2018)
Related Software: z3; Boogie; Con2colic; STP; jCUTE; Jalangi; …
Main Fields: Computer science (68-XX)

pFaces

Software Authors:   Khaled, Mahmoud; Zamani, Majid
Referenced in: 3 Publications (2019–2020)
Related Software: ROCS; SCOTS; CoSyma; StocHy; AMYTISS; SReachTools; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

r-TuBound

Software Authors:   Knoop, Jens; Kovács, Laura; Zwirchmayr, Jakob
Referenced in: 1 Publication (2017)
Related Software: Smacc; STP; OTAWA; Stony Brook; KLEE; LLVM; …
Main Fields: Computer science (68-XX)

SPiDER

Software Authors:   Fahringer, T.; Sowa-Piekło, K.; Czerwiński, P.; Brezany, P.; Bubak, M.; Koppler, R.; Wismüller, R.
Referenced in: 3 Publications (2001–2002)
Related Software: WIEN97; CUMULVS; DAQV; TotalView
Main Fields: Computer science (68-XX)

TASS_

Software Authors:   Verified Software Laboratory, under the direction of Stephen Siegel
Referenced in: 3 Publications (2011–2012)
Related Software: KLEE; ISP; cvc3; KLEE-FP; Bandera; Bogor; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

URBiVA

Software Authors:   Marić, Filip; Janičić, Predrag
Referenced in: 3 Publications (2010–2014)
Related Software: Sugar; SATzilla; MiniZinc; MiniSat; meSAT; BEE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

VST-Floyd

Software Authors:   Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W.
Referenced in: 3 Publications (2018–2021)
Related Software: Coq; Rust; Dafny; GitHub; VeriFast; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ariel

Software Authors:   Morris, James M.; Howard, Mark
Referenced in: 2 Publications (1991)
Related Software: Caliban; Clio; Miranda
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Caliban

Software Authors:   Morris, James M.; Howard, Mark
Referenced in: 2 Publications (1991)
Related Software: Ariel; Clio; Miranda
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CIVL

Software Authors:   Siegel, S.F., et al.
Referenced in: 2 Publications (2020)
Related Software: Viper; VerCors; Threader; VeriFast; Chalice; Cascade; …
Main Fields: Computer science (68-XX)

Clio

Software Authors:   Morris, James M.; Howard, Mark
Referenced in: 2 Publications (1991)
Related Software: Caliban; Ariel; Miranda
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Con2colic

Software Authors:   Farzan A, Holzer A, Razavi N, Veith H
Referenced in: 2 Publications (2018–2021)
Related Software: veriSoft; blktrace; MAFFT; Boogie; STP; jCUTE; …
Main Fields: Computer science (68-XX)

CREST

Software Authors:   Burnim, J.
Referenced in: 0 Publications
Related Software: DART; SPIN; CUTE; Amazon EC2; jCUTE; CBMC; …
Main Fields:

FORMULA 2.0

Software Authors:   Jackson, Ethan K.; Schulte, Wolfram
Referenced in: 2 Publications (2013–2016)
Related Software: ATL; MOMENT2; VIDEAS; Maude; HOL-OCL; AGG; …
Main Fields: Computer science (68-XX)

ginSODA

Software Authors:   S.M. Nobile, P. Cazzaniga, D. Besozzi, G. Mauri
Referenced in: 2 Publications (2021–2022)
Related Software: MPGOS; CUDA; SUNDIALS; Matlab; vcl; GitHub; …
Main Fields: Numerical analysis (65-XX)

Kaluza

Software Authors:   Saxena P, Akhawe D, McCamant S, Song D
Referenced in: 2 Publications (2013–2016)
Related Software: HAMPI; Stranger; PASS; S3; JST; Z3-str; …
Main Fields: Computer science (68-XX)

KindSpec

Software Authors:   María Alpuente, Daniel Pardo, Alicia Villanueva
Referenced in: 2 Publications (2017–2020)
Related Software: z3; KERNELC; Maude; ACSL; Daikon
Main Fields: Computer science (68-XX)

Smacc

Software Authors:   Biere, Armin; Knoop, Jens; Kov'acs, Laura; Zwirchmayr, Jakob
Referenced in: 1 Publication (2017)
Related Software: r-TuBound; STP; OTAWA; Stony Brook; KLEE; LLVM; …
Main Fields: Computer science (68-XX)

SymJS

Software Authors:   Li, G., Andreasen, E., Ghosh, I.
Referenced in: 2 Publications (2017–2019)
Related Software: PASS; S3; Z3-str; HAMPI; KLEE; z3; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SymPLFIED

Software Authors:   Pattabiraman, Karthik; Nakka, Nithin M.; Kalbarczyk, Zbigniew T.; Iyer, Ravishankar K.
Referenced in: 2 Publications (2012–2013)
Related Software: ReSpecT; KOOL; Java+ITP; K Prover; Elf; vlogsl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VerX

Software Authors:   Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M.
Referenced in: 2 Publications (2021–2022)
Related Software: DeepSEA; solc-verify; ABCL; ABS; Creol
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

BinSim

Software Authors:   Ming, J., Xu, D., Jiang, Y., Wu, D.
Referenced in: 1 Publication (2019)
Related Software: VMHunt; NISLVMP; SEEAD; Capstone; VMAttack; VMGuard; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CANAL

Software Authors:   Chungha Sung, Brandon Paulsen, Chao Wang
Referenced in: 0 Publications
Related Software: Crab-llvm; KLEE; SMACK; CacheSim; gem5
Main Fields:

CATG

Software Authors:   Sen, K.
Referenced in: 1 Publication (2018)
Related Software: Boogie; Con2colic; STP; jCUTE; Jalangi; Looper; …
Main Fields: Computer science (68-XX)

Eleven82

Software Authors:   Koskinen, Eric; Yang, Junfeng
Referenced in: 1 Publication (2016)
Related Software: EXPLODE; SQCK; PostgreSQL; MathSAT5; CPAchecker; SMTInterpol; …
Main Fields: Computer science (68-XX)

EvoSuiteDSE

Software Authors:   Lebrero Rial IM, Galeotti JP.
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; T3; …
Main Fields:

Forest

Software Authors:   Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q.
Referenced in: 0 Publications
Related Software: Graphviz
Main Fields:

JFIX

Software Authors:   LE, Dinh Xuan Bach; David Lo
Referenced in: 0 Publications
Related Software: Codeflaws; Qlose; Angelix; GZoltar; Nopol; ASTOR; …
Main Fields:

JUGE

Software Authors:   Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Kifetew, Annibale Panichella, Sebastiano Panichella
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; EvoSuiteDSE; …
Main Fields:

KERNELC

Software Authors:   Alpuente, María; Pardo, Daniel; Villanueva, Alicia
Referenced in: 1 Publication (2020)
Related Software: KindSpec; Maude; z3; ACSL
Main Fields: Computer science (68-XX)

KLOVERA

Software Authors:   Li, G.; Ghosh, I.; Rajan, S.P.
Referenced in: 1 Publication (2015)
Related Software: STP; KOOL; K Prover; K-Java; K tool; Pex; …
Main Fields: Computer science (68-XX)

LCTD

Software Authors:   Saarikivi, Olli; Heljanko, Keijo
Referenced in: 1 Publication (2016)
Related Software: STP; LCT; jCUTE; SMACK; BoogiePL; Vellvm; …
Main Fields: Computer science (68-XX)

Manticore

Software Authors:   Mossberg, M., et al.
Referenced in: 1 Publication (2021)
Related Software: solgraph; EthVer; Mythril; GitHub; WhyML; Why3; …
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

MLBSE

Software Authors:   Bu, Lei; Liang, Yongjuan; Xie, Zhunyi; Qian, Hong; Hu, Yi-Qi; Yu, Yang; Chen, Xin; Li, Xuandong
Referenced in: 1 Publication (2021)
Related Software: JaCoCo; jCUTE; XSat; GitHub; Java PathFinder; Pex; …
Main Fields: Computer science (68-XX)

Mythril

Software Authors:   ConsenSys
Referenced in: 1 Publication (2021)
Related Software: solgraph; EthVer; Manticore; GitHub; WhyML; Why3; …
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

PeCAn

Software Authors:   Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; André, Étienne; Petrucci, Laure; Liu, Yang
Referenced in: 1 Publication (2014)
Related Software: SNOOPY; Access/CPN; CPN/Tools; TAPAAL
Main Fields: Computer science (68-XX)

Pex4Fun

Software Authors:   Tillmann N, de Halleux J, Xie T, Bishop J.
Referenced in: 0 Publications
Related Software: VIDA; DyTa; Scratch; Greenfoot; Pex; DART
Main Fields:

QR Decomposition

Software Authors:   Jose Divasón; Jesús Aransay
Referenced in: 1 Publication (2016)
Related Software: Archive Formal Proofs; Jordan Normal Forms; Gauss-Jordan; Cayley-Hamilton; Echelon Form; kepler98; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

QSYM

Software Authors:   Yun I, Lee S, Xu M, Jang Y, Kim T.
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; EvoSuiteDSE; …
Main Fields:

SEViz

Software Authors:   Honfi, D., András, V., Zoltán, M
Referenced in: 1 Publication (2019)
Related Software: Mau-Dev; GLINTS; ABETS; Curry; Maude
Main Fields: Computer science (68-XX)

SUSHI

Software Authors:   Braione P, Denaro G, Mattavelli A, Pezze
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; EvoSuiteDSE; T3; …
Main Fields:

Symbolic Computing

Software Authors:   Chung, Youngjoo
Referenced in: 1 Publication (2014)
Related Software: Mathematica
Main Fields: Computer science (68-XX)

Veracity

Software Authors:   Eastaughffe, K. A.; Ozols, M. A.; Cant, A.
Referenced in: 1 Publication (1997)
Related Software: XIsabelle; PVS; Isabelle
Main Fields: Computer science (68-XX)

VMHunt

Software Authors:   Xu, D., Ming, J., Fu, Y., Wu, D.
Referenced in: 1 Publication (2019)
Related Software: NISLVMP; SEEAD; Capstone; BinSim; VMAttack; VMGuard; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

ATCase

Software Authors:   Wang, Lilei; Zeng, Xia; Lin, Wang; Chen, Xin; Yang, Zhengfeng
Referenced in: 0 Publications
Related Software:
Main Fields:

Gillian

Software Authors:   José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, Philippa Gardner
Referenced in: 0 Publications
Related Software:
Main Fields:

MSeqGen

Software Authors:   Suresh Thummalapenta; Tao Xie; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte
Referenced in: 0 Publications
Related Software:
Main Fields:

PokeEMU

Software Authors:   Yan, Q.; McCamant, S.
Referenced in: 0 Publications
Related Software:
Main Fields:

RTEHunter

Software Authors:   Kádár, István
Referenced in: 0 Publications
Related Software:
Main Fields:

Sharpchecker

Software Authors:   Koshelev, V. K.; Ignatiev, V. N.; Borzilov, A. I.; Belevantsev, A. A.
Referenced in: 0 Publications
Related Software:
Main Fields:

Taintscope

Software Authors:   Wang T, Wei T, Gu G, Zou W
Referenced in: 0 Publications
Related Software:
Main Fields: