Rule Systems for Run-time Monitoring: from EAGLE to RULER

DOI10.1093/logcom/exn076zbMath1203.68093OpenAlexW2005062077MaRDI QIDQ3569196

Howard Barringer, Klaus Havelund, David E. Rydeheard

Publication date: 17 June 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://eprints.maths.manchester.ac.uk/1472/1/jlc.pdf

zbMATH Keywords

temporal logicgrammarsrun-time verificationrule systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (10)

A Logical Approach to Data-Aware Automated Sequence Generation ⋮ Axiomatizing recursion-free, regular monitors ⋮ Decentralised LTL monitoring ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ Runtime verification of real-time event streams using the tool HStriver ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ First-order temporal logic monitoring with BDDs ⋮ Organising LTL monitors over distributed systems with a global clock ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL

This page was built for publication: Rule Systems for Run-time Monitoring: from EAGLE to RULER