ReactICS: Model Checking for Reaction Systems

Current and past contributors

(in alphabetical order)

Current Maintainers of ReactICS

Contributing

If you would like to contribute or use ReactICS to implement your experiments or ideas, please feel free to reach out to us. We will do our best to help you get started with the tool and the source code.

You can contribute by creating a pull request.