|
|||||
|
|
The incorporation of testing into formal verification: Direct, modular, and hierarchical correctness degrees |
|
| Authors: | Leo Marcus |
| Affiliation: | (1) Computer Systems Division M1-055, The Aerospace Corporation, P.O. Box 92957, 90009 Los Angeles, CA |
| Abstract: | |
| Keywords: | testing verification modular hierarchical |
| 本文献已被 SpringerLink 等数据库收录！ | |