Successive Refinement Verification

Validating the software development process is a critical and difficult task. The objective of this subject is to introduce formal methods based on algebraic specifications and bisimulation.