かなり唐突ですが、こんなのを考え中です。また書きます！ 文字列内では、変数を直接参照することができます。 $name ...

Code for Semantics of Stateflow in Isabelle: We define a formal operational semantics for a subset of Stateflow and formalize it in Isabelle/HOL, and we implement an automatic translator from ...