Created by Simon Virenfeldt and last modified
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/rule-D-fix
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

241. By Simon Virenfeldt

Fix logic error in structural reduction Rule D for LTL and CTL.

240. By <email address hidden>

merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI

239. By Jiri Srba

This version is submitted to MCC 2021 (after fixing LTL engine).

238. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negation issue in the parsing of LTL queries

237. By Jiri Srba

This the version submitted to MCC 2021.

236. By Jiri Srba

merged in lp:~verifypn-cpn/verifypn/optimize-unfolding improving the unfolding of CPN

235. By Jiri Srba

updated competition 2021 scripts

234. By <email address hidden>

merged in lp:~verifypn-cpn/verifypn/partitioning parsing vehicularWifi and fixing some issues and disabeling partitioning for state-space exploration

233. By <email address hidden>

updated README file

232. By <email address hidden>

merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.