LDL-based DSL for statechart generation and verification
-
Updated
Oct 20, 2021 - OCaml
LDL-based DSL for statechart generation and verification
Add a description, image, and links to the scxml topic page so that developers can more easily learn about it.
To associate your repository with the scxml topic, visit your repo's landing page and select "manage topics."