lp:~tapaal-ltl/verifypn/ltl-spring-2021

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

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-ltl
Project:
verifypn
Status:
Development

Recent revisions

255. By Simon Virenfeldt on 2021-05-24

Updated tapaal.sh to contain our best configuration.

254. By Simon Virenfeldt on 2021-05-20

Merge lp:verifypn@238

253. By Simon Virenfeldt on 2021-05-19

Added temporary option for selecting sum of distance heuristic and log fire count

252. By Simon Virenfeldt on 2021-05-18

Added sum-composed-weight heuristic option.

251. By Nikolaj Jensen Ulrik on 2021-05-13

Safe variant of reachability stubborn set method

250. By Nikolaj Jensen Ulrik on 2021-05-11

Automaton heuristic weighted by BFS dist to accepting state

249. By Simon Virenfeldt on 2021-05-11

If translation from CTL* to eiter LTL or CTL an error is now printed

248. By Nikolaj Jensen Ulrik on 2021-05-07

Actual log fire count heuristic

247. By Nikolaj Jensen Ulrik on 2021-05-05

Merge remote

246. By Nikolaj Jensen Ulrik on 2021-05-05

Constrain reachability stubborn sets to consider all progressing formula as visible

Branch metadata

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

Subscribers