Multistep-DEVS-Simulator

Allows for the development of a specification. Called when a specification file should be applied.

Allows for a piece of code to be updated to a specification. Called when a specification file was changed and those changes should be applied to code.

Allows for the construction of discrete event system specification (DEVS) modules, it specifies its internal structure, components, connections, and resources with more information. Use when creating a DEVS module in any language or when giving proofs that involve DEVS modules.