Machine-Checked Executable Semantics of Stateflow.

Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan

Browse the full ICFEM paper archive.