NFM'11 Proceedings of the Third international conference on NASA Formal methods
| Hi-index | 0.00 |
Modern Model Checking techniques can easily verify advanced properties in complex software systems. Specifying these models and properties is as hard as ever, though. I present techniques to extract models from legacy systems--models that are precise and complete enough to serve as specifications, and which open the door to modular verification.