A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Stepping is arguably one of the most important operations for model execution, and model debugging specifically. Each formalism, however, has a different set of supported stepping operations (e.g., big step, combo step, and small step). Furthermore, many tools provide a different terminology for these different steps (e.g., small step, micro step, and epsilon step). As such, the exact semantics of stepping is unknown to the modellers, and might even differ between different tools. Additionally,dblp:conf/models/MierloTV18 fatcat:hilywjns2bavxjboybeukwewce