On Locally Checkable Properties

DOI10.1007/11916277_21MaRDI QIDQ5387900zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(7)

• Execution monitoring enforcement under memory-limitation constraints
• scientific article; zbMATH DE number 3559566 (Why is no real title available?)
• 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)