1 search results - page 1 / 1 » Stubborn Sets for Model Checking the EF AG Fragment of CTL |
FUIN
2000
14 years 10 months ago
2000
The general stubborn set approach to CTL model checking 2] has the drawback that one either nds a stubborn set with only one enabled transition or one has to expand all enabled tra...