TASS_

swMATH4889MaRDI QIDQ17041FDOQ17041

Author name not available (Why is that?)

Official website: http://vsl.cis.udel.edu/tass/

Described by source

• TASS: the toolkit for accurate scientific software

Cited In (9)

• PatEC
• ISP
• Collective assertions
• Cetus
• CoVaC
• KLEE-FP
• CIVL
• Corral
• Loop invariant symbolic execution for parallel programs

This page was built for software: TASS_