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: 87ab3ef9d1

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '87ab3ef9d1'

${ noResults }

prism-accumulation/manual/pub/skins

History

Joachim Klein 87ab3ef9d1 Expression.isCoSafeLTLSyntactic: properly handle nesting and operator bounds For determining syntactic co-safety, we are not interested in the complex state formulas (e.g., with P, R, E, A, ... operators), so we iterate without recursing into nested operators. Furthermore, we currently don't support temporal operator bounds for co-safety LTL formulas; check for those as well.		8 years ago
..
offline	Expression.isCoSafeLTLSyntactic: properly handle nesting and operator bounds	8 years ago