Carolina at Chapel Hill, Department of Computer Science, 201 S. Columbia St., Chapel Hill …
The ability to certify the correctness of cyber-physical systems often rely on provisioning
resources to account for worst-case behaviors. For example, timing certification necessitates …