You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 39b9fcbe65

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '39b9fcbe65'

${ noResults }

prism-accumulation/prism-tests/functionality/verify/ctmcs/rewards/cosafe

History

Joachim Klein 39b9fcbe65 Fox-Glynn computation: Apply accuracy check also for the 'naive' case (avoid infinite loop) (addresses #72) If the desired accuracy is to small, the naive weight computation can run into an infinite loop, as floating point precision / rounding leads to non-termination of the loop. To partially address this, we move the accuracy check up, so that it is also applied in the case of the 'naive' computation. This should make it much less likely to run into this in practice. For a full fix, we'd either need to check for non-progress in the loop or do an analysis that the floating-point precision of double always suffices for the remaining allowed input values.		8 years ago
..
robot.sm	Move prism-tests into this repository and update Makefile "tests" target.	9 years ago
robot.sm.cosafe.props	Move prism-tests into this repository and update Makefile "tests" target.	9 years ago