|
|||||
|
|
Model checking LTL properties over ANSI-C programs with bounded traces |
|
| Authors: | Jeremy Morse Lucas Cordeiro Denis Nicole Bernd Fischer |
| Affiliation: | 1. Electronics and Computer Science, University of Southampton, Southampton, UK 2. Electronic and Information Research Center, Federal University of Amazonas, Manaus, Brazil 3. Division of Computer Science, Stellenbosch University, Stellenbosch, South Africa |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |