v0.1-alpha
Pre-release
Pre-release
·
108 commits
to master
since this release
This is the first release of the Scenario-Verifier.
It support the ability to Verify Co-simulation algorithms containing both Algebraic Loops and Step-Finding Procedures.