Software verification using k-induction
We present combined-case k-induction, a novel technique for verifying software programs. This technique draws on the strengths of the classical inductive-invariant method and a recent application of k-induction to program verification. In previous work, correctness of programs was established by sep...
| Principais autores: | , , , |
|---|---|
| Outros Autores: | |
| Formato: | Conference item |
| Publicado em: |
Springer
2011
|