12 lines
346 B
Markdown
12 lines
346 B
Markdown
# 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
|
|
|