Journal article
Tabular Verification and Refinement
Abstract
Tabular representations have been proposed for structuring mathematical expressions as they appear in the specification of programs. The thesis of this work is that tables not only help in writing and checking complex expressions, but also in their formal manipulation. We consider tabular predicates and tabular relations and their use in program verification and refinement.
Authors
Sekerinski E
Journal
Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, pp. 179–198
Publisher
Elsevier
Publication Date
November 2002
DOI
10.1016/s1571-0661(05)80492-x
ISSN
1571-0661