Dataset for "Formal verification of run-to-completion style statecharts using Event-B"
收藏官方服务：
资源简介：
Formal models and verification for case study supporting paper "Formal verification of run-to-completion style statecharts using Event-B" accepted for the Detect 2020 workshop. SCXML model, generated Event-B, LTL expression for temporal verification
创建时间：
2020-09-17
