- Committer: srba.jiri at gmail
- Date: 2020-09-11 14:23:39 UTC
- mfrom: (213.1.151 interval_tar)
- Revision ID: srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
merged in lp:~verifypn-maintainers/verifypn/interval_tar doing
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
- Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
- Implements new global properties, translated into CTL formulae.
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
- Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
- Implements new global properties, translated into CTL formulae.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
model.pnml |
213.1.141 | 3 years ago | Peter G. Jensen | added simple test-script and test models | 5.5 KB |
|
|
|
query.xml |
213.1.141 | 3 years ago | Peter G. Jensen | added simple test-script and test models | 522 bytes |
|
|