A First-Order Policy Language for History-Based Transaction Monitoring
From MaRDI portal
Publication:3393401
DOI10.1007/978-3-642-03466-4_6zbMath1250.68182arXiv0903.2904OpenAlexW1482613269MaRDI QIDQ3393401
Rajeev Goré, Alwen Tiu, Andreas Bauer
Publication date: 20 August 2009
Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0903.2904
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (6)
Foundations of Boolean stream runtime verification ⋮ Monitoring of temporal first-order properties with aggregations ⋮ The ins and outs of first-order runtime verification ⋮ Scalable offline monitoring of temporal specifications ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
This page was built for publication: A First-Order Policy Language for History-Based Transaction Monitoring
