Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness.

Marco Maida, Sergey Bozhko, Bjrn B. Brandenburg

Browse the full RTSS paper archive.