GameTime: A Toolkit for Timing Analysis of Software.

Sanjit A. Seshia, Jonathan Kotker

Browse the full TACAS paper archive.