scLTL

syntactically cosafe LTL

Also known as:

• syntactically co-safe LTL

summary

(nil)

results

(nil)

references (chronological order)

1. Efficient Model Checking of Safety Properties (2003)

tools

1. scheck