Using a Model Checker to Test Safety Properties.

Paul Ammann, Wei Ding, Daling Xu

Browse the full ICECCS paper archive.