KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs.

Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata

Browse the full FASE paper archive.