DocumentCode
751634
Title
A New Verification Rule and Its Applications
Author
Huang, J.C.
Author_Institution
Department of Computer Science, University of Houston
Issue
5
fYear
1980
Firstpage
480
Lastpage
484
Abstract
This paper describes a verification rule for loop programs, and shows how it can be used in conjunction with the invariant-relation theorem to facilitate verification of programs.
Keywords
Consistency; decomposition; invariant-relation theorem; loop program; predicate transformation; program verification; subgoal induction; verification rule; Computer science; Consistency; decomposition; invariant-relation theorem; loop program; predicate transformation; program verification; subgoal induction; verification rule;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1980.230788
Filename
1702764
Link To Document