Iterative abstraction-based ctl model checking

Authors:
Jae-Young Jang;Gary D. Hachtel
Affiliations:
-;-
Venue:
Iterative abstraction-based ctl model checking
Year:
1999

Citing 0
Cited 3

Symbolic guided search for CTL model checking

Proceedings of the 37th Annual Design Automation Conference
Divide and Compose: SCC Refinement for Language Emptiness

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional SCC Analysis for Language Emptiness

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract