SCXML execution semantics bug

Preamble

SCXML execution semantics bug is a software case study, which is implemented in PauWare engine. Jacob Beard reported here that SCXML or implementations may have execution semantics loopholes. This loophole does not exist in PauWare engine.

Resources

Installation requirements

Specification