Verified first-order monitoring with recursive rules

DOI10.1007/978-3-030-99527-0_13MaRDI QIDQ6535617zbMATH OpenFDO

Authors Sheila Zingg, Srđan Krstić, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Publication date 1 February 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-99527-0_13

zbMATH Keywords

formal verificationmonitoringrule-based specifications

Mathematics Subject Classification ID

Temporal logic (03B44) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Monitoring metric first-order temporal properties
• The ins and outs of first-order runtime verification
• Monitoring first-order interval logic
• Runtime monitoring of metric first-order temporal properties
• Verification, Model Checking, and Abstract Interpretation

Cites work

• A formally verified, optimized monitor for metric first-order dynamic logic
• Elements of finite model theory.
• First-order temporal logic monitoring with BDDs
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Monitoring metric first-order temporal properties
• Speeding up dynamic transitive closure for bounded degree graphs
• TeSSLa: temporal stream-based specification language
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Verified first-order monitoring with recursive rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535617)