Synchronous Observers Revisited for Runtime Verification of Lustre Using STL

Logan Kenwright, Partha Roop, Sobhan Chatterjee +1

Signal Temporal Logic (STL) is a popular formalism for the temporal safety properties of cyber-physical systems, most often used for runtime verification. In the synchronous family…