Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

Abstract

We contrast the use of weakest preconditions for the correct construction of procedures with the cumulative subgoal fulfillment (CSF) approach. An example of Cohen and Monin is used for this purpose. The CSF construction process is demonstrated. 

1 Figure or Table

Topics

  • Presentations referencing similar topics