Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing.

Stefan D. Bruda, Zhiyu Zhang

Browse the full ICSoft paper archive.