DyTa

swMATH22848MaRDI QIDQ34637FDOQ34637

Author name not available (Why is that?)

Cited In (2)

• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

This page was built for software: DyTa