Chair for Software Modeling and Verification @ RWTH Aachen University

moves-rwth.github.io

Repositories of the moves-rwth Organization

Adds redirects for repositories which moved to the stormchecker organization:

• moves-rwth/storm-benchmark-logs moved to stormchecker/storm-benchmark-logs
• moves-rwth/storm-doc moved to stormchecker/storm-doc
• moves-rwth/stormvogel moved to stormchecker/stormvogel