|
|||||
|
|
Test case verification by model checking |
|
| Authors: | Kshirasagar Naik Behcet Sarikaya |
| Affiliation: | (1) Dept. of Elect. and Computer Eng., Concordia University, 1455 de Maisonneuve West, H3G 1M8 Montreal, CANADA;(2) Dept. of Computer Eng. and Info. Science, Bilkent University, Bilkent, 06533 Ankara, Turkey |
| Abstract: | |
| Keywords: | reachability analysis extended finite-state machines temporal logic Estelle TTCN model checking safety properties liveness properties |
| 本文献已被 SpringerLink 等数据库收录！ | |