ldltools/dsl4sc

LDL-based DSL for statechart generation and verification

语言：OCaml · GitHub 星标：9 · Fork：0

话题：dsl · formal-verification · scxml · statecharts · temporal-logic

在 GitHub 上查看原仓库