lp:~tapaal-ltl/verifypn/automata-stubborn-sets

Created by Nikolaj Jensen Ulrik on 2021-02-24 and last modified on 2021-03-05
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/automata-stubborn-sets
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:
Merged

Recent revisions

271. By Simon Virenfeldt on 2021-03-05

Fixed infinite loop bug in TarjanModelChecker trace

270. By Nikolaj Jensen Ulrik on 2021-03-04

fy fan linker error

268. By Simon Virenfeldt on 2021-03-04

Changed remaining negated stubborn copy to use the new copy function

267. By Simon Virenfeldt on 2021-03-03

If the retarding formula is not satisfied in an accepting state treat it as a progressing formula. Du not run clojure if the retarding formula is not satisfied.

266. By Simon Virenfeldt on 2021-03-03

Changed condition when we are in an accepting state. Now we do the closure on the complement of the negated retarding formula. This will add significantly more states to the stubborn set, it is however not inconcieveable that a lot of transitions are interesting wrt. staying in the accepting state.

265. By Simon Virenfeldt on 2021-03-03

Fix compile errors from merge

263. By Nikolaj Jensen Ulrik on 2021-03-02

misc changes

262. By Nikolaj Jensen Ulrik on 2021-02-25

Poor performance automata stubborn set

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