TY  - RPRT
TI  - Machine-checked executable semantics of Stateflow
AU  - Shicheng Yi
AU  - Shuling Wang
AU  - Bohua Zhan
AU  - Naijun Zhan
PY  - 2022
UR  - https://arxiv.org/abs/2207.11965
ID  - 2207.11965
ER  -