Artur Meski 6ab5304628 Permanent entities implementation. Allows for preserving concentration levels when the inhibitors are not provided.

2016-03-02 18:08:07 +01:00

bench_rsc_mem.log

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

bench_rsc_time.log

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

bench_tr_rs_mem.log

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

bench_tr_rs_time.log

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

bftype.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

boolform.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

contributors.txt

Initial commit with contributors

2015-12-07 23:07:32 +00:00

distrib_rctsys.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

example.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

mkplotdat.sh

Incrementation & decrementation by a specified value.

2016-02-28 20:12:43 +01:00

rctsys.py

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

rs_examples.py

Permanent entities implementation. Allows for preserving concentration levels when the inhibitors are not provided.

2016-03-02 18:08:07 +01:00

rssmt.py

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

run_3d.sh

Benchmarks. Resources reporting, etc.

2016-02-24 22:49:02 +01:00

run.sh

initial commit with .py files

2015-12-07 23:09:37 +00:00

smtchecker.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

smtcheckerdistribrs.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

smtcheckerpgrs.py

Resources reporting. Chain reaction benchmark, etc.

2016-02-24 22:49:40 +01:00

smtcheckerrsc.py

working on Blood-Glucose example

2016-03-01 21:25:34 +01:00

testca.py

initial commit with .py files

2015-12-07 23:09:37 +00:00

Description

ReactICS. Reaction Systems Verification Toolkit

formal-methodsmodel-checkingreaction-systems

MIT 7 MiB

Languages

Python 41.4%

Java 26.5%

C++ 24.9%

Shell 3.7%

HTML 2.4%

Other 1.1%