OTAWA

MaRDI QIDQ32318swMATHFDO

Official website http://dl.ifip.org/db/conf/seus/seus2010/BallabrigaCRS10.pdf

Cited in

(4)

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

This page was built for software: OTAWA