reactics

ReactICS. Reaction Systems Verification Toolkit

View the Project on GitHub arturmeski/reactics

ReactICS

Reaction Systems Verification Toolkit

The toolkit consists of two separate modules implementing:

See: https://reactics.org