Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

Mikhail Chupilko, Alexander Kamkin

Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies c…