ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems.

Pengfei Qiu, Jun Zhang, Weiguo Song

Browse the full SETTA paper archive.