Stubborn sets for model checking the EF/AG fragment of CTL

• Autorzy: Schmidt K.
• Języki publikacji: EN

Abstrakty

EN

The general stubborn set approach to CTL model checking has the drawback that one either finds a stubborn set with only one enabled transition or one has to expand all enabled transitions. This restriction does not apply in our approach to a fragment of CTL. Furthermore, our reduction does not depend on the invisibility of transitions in a stubborn set.

Słowa kluczowe

EN

computer aided verification; model checking; partial order reduction

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 331--341
• Opis fizyczny: wykr., bibliogr. 16 poz.

Twórcy

autor

Schmidt K.

• Institut für Informatik Humboldt-Universität zu Berlin D-10099 Berlin, Germany,