TASS_

MaRDI QIDQ17041swMATHFDO

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

Described by source

• TASS: the toolkit for accurate scientific software

Cited in

(9)

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

This page was built for software: TASS_