Characteristic invariants in Hennessy–Milner logic
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00376-5
Abstract: In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$ φ 0 and a characteristic invariant $$\upchi _{_I}$$ χ I for an… read more here.
Keywords: state; milner logic; hennessy milner; finite state ... See more keywords