19 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Daniel Bundala, Sanjit A. Seshia
Given a program and a time deadline, does the program finish before the deadline when executed on a given platform? With the requirement to produce a test case when such a violatio…