Implementation with Refinement - Part 2

  

Lecture 10 - Part 2

This web page was written on:
  18 March 2018

The video was produced on:
  17 March 2018

Contents

  • Prologue
  • AB2 Implements AB
  • Specifying SpecH
  • Checking Implementation
  • Simplifying Refinement
  • What We Did And Why
  • Imaginary Variables
  • What's Next
  • Epilogue