Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.

Jianzhou Zhao, Jinian Bian, Weimin Wu

Browse the full CSCWD paper archive.