Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Alberto L. Sangiovanni-Vincentelli"'
Publikováno v:
Computer Aided Verification ISBN: 9783540581796
CAV
CAV
We present a state equivalence that is defined with respect to a given CTL formula. Since it does not attempt to preserve all CTL formulas, like bisimulation does, we can expect to compute coarser equivalences. We use this equivalence to manage the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03bfb4ee5e7314e83cfbbff8c242a2bf
https://doi.org/10.1007/3-540-58179-0_65
https://doi.org/10.1007/3-540-58179-0_65