verifypn

lp:verifypn

Created by Jiri Srba on 2016-12-15 and last modified on 2020-12-17

Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

4 branches proposed for merging into this one.

230. By Jiri Srba on 2020-12-17: merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0; Merged branch lp:~tapaal-contributor/verifypn/show-reduced-net
229. By Jiri Srba on 2020-10-31: increased version number to 3.1.1
228. By Jiri Srba on 2020-10-31: merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net; Merged branch lp:~tapaal-contributor/verifypn/show-reduced-net
227. By <email address hidden> on 2020-09-18: fixed compilation with static libraries for mac
226. By <email address hidden> on 2020-09-11: updated version number to 3.1.0
225. By <email address hidden> on 2020-09-11: 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.; Merged branch lp:~verifypn-maintainers/verifypn/interval_tar
224. By Jiri Srba on 2020-04-30: updated MCC 2020 competition script
223. By Jiri Srba on 2020-04-27: fixed a bug in MCC20 script BC should be BK
222. By <email address hidden> on 2020-04-26: updated MCC20 scripts and added README file for installing the VM
221. By <email address hidden> on 2020-04-25: small update in scripts

This branch contains Public information

Everyone can see this information.