A parallel relation-based algorithm for symbolic bisimulation minimization

DOI10.1007/978-3-030-11245-5_25OpenAlexW2910500738MaRDI QIDQ2287115

Richard Huybers, Alfons W. Laarman

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_25

zbMATH Keywords

parallel computingsymbolic model checkingdecision diagramsbisimulation minimizationBDDs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Equivalence checking 40 years after: a review of bisimulation tools

This page was built for publication: A parallel relation-based algorithm for symbolic bisimulation minimization