The Storm repositories have a new home on GitHub: the stormchecker organization.

The old location moves-rwth reflected the starting point and initial development of Storm in the MOVES group at RWTH Aachen University. We now introduce a dedicated organization stormchecker to reflect the extended development scope of Storm and the broadening ecosystem around Storm with libraries such as stormpy and Stormvogel.

Old references to moves-rwth should automatically be redirected to the new stormchecker organization.

You can update the link of your local Git repository with git remote set-url. For example, the following command updates the origin remote for the Storm repository:

git remote set-url origin git@github.com:stormchecker/storm.git

Please let us know in case you found dead links or encounter any issue.