Untitled - DI ENS

Download PDF
1 downloads 0 Views 5MB Size Report
Comment
tion of those program proof methods in the class of Floyd [7] invariant asser- tions method for proving total correctness of sequential programs. We introduce.