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