Translating Software Designs for Model Checking.

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne

Browse the full FASE paper archive.