A functional correctness model of program verification
| Title | A functional correctness model of program verification |
| Publication Type | Journal Articles |
| Year of Publication | 1990 |
| Authors | Zelkowitz MV |
| Journal | Computer |
| Volume | 23 |
| Issue | 11 |
| Pagination | 30 - 39 |
| Date Published | 1990/11// |
| ISBN Number | 0018-9162 |
| Keywords | correctness, elementary, execution;functional, model;program, symbolic, table;program, verification;, verification;trace |
| Abstract | A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is applied to rather simple programs. However, even in large complex implementations, the techniques can be applied informally to determine the functionality of complex interactions. The technique is easy to learn (it is used in a freshman computer science course) and lends itself to automation.<> |
| DOI | 10.1109/2.60878 |