Refinement Plans for Informed Formal Design

  title={Refinement Plans for Informed Formal Design},
  author={Gudmund Grov and Andrew Ireland and Maria Teresa Llano},
Refinement is a powerful technique for tackling the complexities that arise when formally modelling systems. Here we focus on a posit-and-prove style of refinement, and specifically where a user requires guidance in order to overcome a failed refinement step. We take an integrated approach – combining the complementary strengths of topdown planning and bottom-up theory formation. In this paper we focus mainly on the planning perspective. Specifically, we propose a new technique called… CONTINUE READING