Libros
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 978-3-030-72016-2
Editorial: Springer Nature
Licencia: Creative Commons (by-nc-nd)
Autor(es): Groote, Jan
Editorial: Springer Nature
Licencia: Creative Commons (by-nc-nd)
Autor(es): Groote, Jan
We introduce a generalization of the bisimulation game that can be employed to find all relevant distinguishing Hennessy-Milner logic formulas for two compared finite-state processes. By measuring the use of expressive powers, we adapt the formula generation to just yield formulas belonging to the coarsest distinguishing behavioral preorders/equivalences from the linear-time-branching-time spectrum. The induced algorithm can determine the best fit of (in)equivalences for a pair of processes.
[2021]
Compartir:
Esta es una vista previa de los documentos vistos recientemente por el usuario.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.