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

Marco Maida Sergey Bozhko Björn B. Brandenburg

Published in: RTSS (2021)

Keyphrases

automatically generated
response time
automatically generate
manually constructed
automatically generating
manually created
manually generated
scheduling algorithm
automatically created
query execution
code generator
open directory project
information retrieval
database systems
theorem prover