Parametric real-time reasoning


Traditional approaches to the algorithmic veri cation of real-time systems are limited to checking program correctness with respect to concrete timing properties (e.g., \message delivery within 10 milliseconds"). We address the more realistic and more ambitious problem of deriving symbolic constraints on the timing properties required of real-time systems… (More)
DOI: 10.1145/167088.167242


4 Figures and Tables


Citations per Year

330 Citations

Semantic Scholar estimates that this publication has 330 citations based on the available data.

See our FAQ for additional information.