Soter is a stateless model checker for Java. For more details, we refer the readers to Documentation.
Run mkdocs serve and browse to http://127.0.0.1:8000/ to see the documentation.
If you don't have mkdocs installed, you can install by running pip install mkdocs or pip3 install mkdocs depending on the version of Python you are using.
See CONTRIBUTING for more information.
This project is licensed under the Apache-2.0 License.