Practical Runtime Enforcement of First-Order Temporal Requirements

François Hublet, David Basin, Srđan Krstić

Runtime enforcers observe a system's behavior and exert control over it to ensure that the system always adheres to its requirements. Many natural requirements not only formulate r…