Artur Meski
|
ac150b2744
|
cleanup
|
2017-09-03 14:54:10 +01:00 |
|
Artur Meski
|
ce6a1f6f19
|
transition relation with max calculation
|
2017-08-20 19:57:23 +01:00 |
|
Artur Meski
|
c83779c9d5
|
Declaration of the intermediate product variables for the reactions and entities that are actually used as products
|
2017-08-13 15:51:20 +01:00 |
|
Artur Meski
|
27c86497e4
|
RSC with Param; RSCA for Param, SMTChecker for Param
|
2017-08-13 13:48:42 +01:00 |
|
Artur Meski
|
55ff688fd0
|
add RSC with param for the new encoding suitable for parametric verification
|
2017-08-09 20:57:52 +01:00 |
|