Refinement

---

Table of Contents

• The ASM Refinement Method
  • Ground Model Refinements
  • Verification of ASM Refinements Using Generalized Forward Simulation
• Examples
  • Bakery Algorithm
  • CLP(R)
  • DLX
  • Java
  • Java and the JVM
  • Occam
  • PROTOS-L
  • Production Cell Control Problem
  • Tableau Calculus
  • Warren Abstract Machine