artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
341 Commits 4 Branches 0 Tags
6d0057c40f2668cab2ed07fcb0de9cc848f4a15a
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Artur Meski 6d0057c40f Examples file for TGC
2019-09-22 18:36:47 +01:00
examples
Examples file for TGC
2019-09-22 18:36:47 +01:00
reactics-bdd
TGC with generator
2019-09-22 18:30:33 +01:00
reactics-smt
Disallow for PMutex
2019-04-28 18:59:38 +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
TGC examples with generator (correct syntax)
2019-09-22 18:36:01 +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%