0
$\begingroup$

A regular safety property is a safety property whose bad prefixes form a regular language, https://moves.rwth-aachen.de/wp-content/uploads/WS1920/MC/mc2019_handout_lec4.pdf. My questions is, are there any interesting or easy examples of safety properties that are not regular and a proof to show as such.

Improve this question
$\endgroup$
1
  • $\begingroup$ Can you define what is a regular safety property, and bad prefixes inside the question's body? $\endgroup$
    – Bader Abu Radi
    Commented Aug 7 at 11:20

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.