Solving parameterised boolean equation systems with infinite data through quotienting

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

Parameterised Boolean Equation Systems (PBESs) can be used to represent many different kinds of decision problems. Most notably, model checking and equivalence problems can be encoded in a PBES. Traditional instantiation techniques cannot deal with PBESs with an infinite data domain. We propose an approach that can solve PBESs with infinite data by computing the bisimulation quotient of the underlying graph structure. Furthermore, we show how this technique can be improved by repeatedly searching for finite proofs. Unlike existing approaches, our technique is not restricted to subfragments of PBESs. Experimental results show that our ideas work well in practice and support a wider range of models and properties than state-of-the-art techniques.

Originele taal-2Engels
TitelFormal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
RedacteurenPeter Csaba Ölveczky, Kyungmin Bae
Plaats van productieBerlin
UitgeverijSpringer
Pagina's216-236
Aantal pagina's21
ISBN van elektronische versie978-3-030-02146-7
ISBN van geprinte versie978-3-030-02145-0
DOI's
StatusGepubliceerd - 5 okt 2018
Evenement15th International Conference on Formal Aspects of Component Software, FACS 2018 - Pohang, Zuid-Korea
Duur: 10 okt 201812 okt 2018

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume11222

Congres

Congres15th International Conference on Formal Aspects of Component Software, FACS 2018
LandZuid-Korea
StadPohang
Periode10/10/1812/10/18

Vingerafdruk Duik in de onderzoeksthema's van 'Solving parameterised boolean equation systems with infinite data through quotienting'. Samen vormen ze een unieke vingerafdruk.

  • Prijzen

    Best Paper Award FACS 2018

    Neele, Thomas S. (Ontvanger), Willemse, Tim A.C. (Ontvanger) & Groote, Jan Friso (Ontvanger), 11 okt 2018

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Citeer dit

    Neele, T., Willemse, T. A. C., & Groote, J. F. (2018). Solving parameterised boolean equation systems with infinite data through quotienting. In P. C. Ölveczky, & K. Bae (editors), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings (blz. 216-236). (Lecture Notes in Computer Science; Vol. 11222). Springer. https://doi.org/10.1007/978-3-030-02146-7_11