Impartial Anticipation in Runtime-Verification

DOI10.1007/978-3-540-88387-6_33zbMath1183.68367OpenAlexW1877266832MaRDI QIDQ3540087

Wei Dong, Christian Schallhart, Martin Leucker

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_33

Mathematics Subject Classification ID

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

Related Items (2)

A brief account of runtime verification ⋮ The ins and outs of first-order runtime verification

Cites Work

• Unnamed Item
• LTL over integer periodicity constraints
• Weak Second‐Order Arithmetic and Finite Automata
• Regular Linear Temporal Logic
• Comparing LTL Semantics for Runtime Verification
• Monitoring of Real-Time Properties
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Impartial Anticipation in Runtime-Verification