6 search results - page 2 / 2 » Improving state class constructions for CTL* model checking ... |
FMSD
2006
13 years 7 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...