# ReactICS

Reaction Systems Verification Toolkit

The toolkit consists of two separate modules implementing:

* Methods using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system.
* Methods translating the verification problems into satisfiability modulo theories (SMT).

See: https://reactics.org