DyTa

MaRDI QIDQ34637swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=1985971

Cited in

(12)

• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• SANTE
• UFO
• Interproc
• IKOS
• MarQ
• StaRVOOrS
• Greenfoot
• Scratch
• Ultimate Taipan
• CoVEGI
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

This page was built for software: DyTa