Model Checking a Model Checker: A Code Contract Combined Approach.

Jun Sun, Yang Liu, Bin Cheng

Browse the full ICFEM paper archive.