Smacc

MaRDI QIDQ26207swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-02444-8_40

Cited in

(3)

• r-TuBound
• OTAWA
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution

This page was built for software: Smacc