1 2 3 4 5
# SCAN SCXML SCXML parser for the SCAN model checker. See [SCAN homepage](https://convince-project.github.io/scan/) for more information.