s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
2445 Commits
5 Branches
0 Tags
31 MiB
Tree: 4cc09fbc6c
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '4cc09fbc6c'
${ noResults }
Commit Graph

7 Commits (4cc09fbc6cc22cff317d2a2799c46adcb988e4ed)

Author SHA1 Message Date
Dave Parker 4cc09fbc6c Bigfix in CTMC model checking, due to recent BSCC code reorganisation. [from Joachim Klein]
11 years ago
Dave Parker 5173aab053 Bug fix in explicit.SCCComputerTarjan (from Joachim Klein).
11 years ago
Dave Parker be834a8aff Align explicit SCComputer with symbolic one - it should not include trivial SCCs in the set computed; these should be stored separately.
11 years ago
Dave Parker 54b9aea80b Tidy up of symbolic/explicit SCC/EC computer classes, incl. integration of PrismComponent interface + knock-on effects.
13 years ago
Dave Parker afd0696115 More (B)SCC computation for explicit engine.
14 years ago
Dave Parker 616ae77ff7 Explicit SCC computation returns BitSets.
14 years ago
Dave Parker 906052cb5b SCC computation using Tarjan for explicit engine (from Christian von Essen).
14 years ago