Cutpoints for formal equivalence verification of embedded software.

Xiushan Feng, Alan J. Hu

Browse the full EMSOFT paper archive.