artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
331 Commits 4 Branches 0 Tags
47741751ee6d1ac8d2e6f7bc8097ef34ef15db7f
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski 47741751ee SMT with no options
2019-09-22 16:36:41 +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
SMT with no options
2019-09-22 16:36:41 +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%