On Locally Checkable Properties

DOI10.1007/11916277_21zbMATH Open1165.68408OpenAlexW1914433421MaRDI QIDQ5387900FDOQ5387900

Authors: Orna Kupferman, Yoad Lustig, Moshe Y. Vardi 

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11916277_21

Recommendations

• A note on monitors and Büchi automata
• Topology, monitorable properties and runtime verification
• Model checking of safety properties
• scientific article; zbMATH DE number 2102704
• scientific article; zbMATH DE number 177248

Mathematics Subject Classification ID

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

Cited In (7)

• Execution monitoring enforcement under memory-limitation constraints
• Title not available (Why is that?)
• A new approach on locally checkable problems
• Symbolic bounded synthesis
• The quest for a tight translation of Büchi to co-Büchi automata
• Improved algorithms for the approximate \(k\)-List problem in Euclidean norm
• Which security policies are enforceable by runtime monitors? A survey

This page was built for publication: On Locally Checkable Properties

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