|
|||||
|
|
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs |
|
| Authors: | Bernard Boigelot Patrice Godefroid |
| Affiliation: | (1) Institut Montefiore, Université de Liège, B28, 4000 Liège Sart-Tilman, Belgium;(2) Bell Laboratories, Lucent Technologies, 1000 E. Warrenville Road, Naperville, IL 60566, USA |
| Abstract: | |
| Keywords: | symbolic verification protocols infinite state spaces queues model checking testing |
| 本文献已被 SpringerLink 等数据库收录！ | |