Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.

Leo Freitas, Ana Cavalcanti, Jim Woodcock

Browse the full ICFEM paper archive.