Strengthening properties using abstraction refinement
Model checking is an automated formal method for verifying whether a finite-state system satisfies a user-supplied specification. The usefulness of the verification result depends on how well the specification distinguishes intended from non-intended system behavior. Vacuity is a notion that helps f...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2009
|