artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
330 Commits 4 Branches 0 Tags
a26018747816beb119041c3fc912f76f6168b26b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski a260187478 Chain reaction example
2019-09-22 16:35:00 +01:00
reactics-bdd
Added cassert
2019-09-22 13:31:49 +01:00
reactics-smt
Disallow for PMutex
2019-04-28 18:59:38 +01:00
smt_examples
Chain reaction example
2019-09-22 16:35:00 +01:00
_config.yml
Set theme jekyll-theme-minimal
2019-03-03 22:32:47 +00:00
LICENSE
Sorting out licensing
2019-03-05 18:40:07 +00:00
reactics
Invocation of SMT module
2019-09-22 16:23:27 +01:00
README.md
README update
2019-03-03 22:41:27 +00:00

README.md

ReactICS

Reaction Systems Verification Toolkit

The toolkit consists of two separate modules implementing:

  • BDD-based methods
  • SMT-based methods
Reference in New Issue View Git Blame Copy Permalink
Description
ReactICS. Reaction Systems Verification Toolkit
formal-methodsmodel-checkingreaction-systems
Readme MIT 7 MiB
Languages
Python 41.4%
Java 26.5%
C++ 24.9%
Shell 3.7%
HTML 2.4%
Other 1.1%