artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clean-up

Browse Source
This commit is contained in:
Artur Meski
2025-05-05 14:27:07 +01:00
parent 092fd94b56
commit 3237c2eae5
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -3,7 +3,8 @@
Reaction Systems Verification Toolkit Reaction Systems Verification Toolkit
The toolkit consists of two separate modules implementing: The toolkit consists of two separate modules implementing:
* Methods implemented using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system.
* 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). * Methods translating the verification problems into satisfiability modulo theories (SMT).
See: https://reactics.org See: https://reactics.org