Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 56

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 202

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 296

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 315
IEICE Trans

Keyword : CTL model checker

Incremental CTL Model Checker for Fair States
Victor R. L. SHEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/07/25
Vol. E82-D  No. 7 ; pp. 1126-1130
Type of Manuscript:  LETTER
Category: Computer Hardware and Design
Keyword: 
design verification, CTL model checker, fair states, 
 Summary | Full Text:PDF