Multi-core symbolic bisimulation minimisation

Article English OPEN
van Dijk, Tom ; van de Pol, Jaco (2018)

We introduce parallel symbolic algorithms for bisimulation minimisation, to combat the combinatorial state space explosion along three different paths. Bisimulation minimisation reduces a transition system to the smallest system with equivalent behaviour. We consider st... View more
  • References (42)
    42 references, page 1 of 5

    1. Badban, B., Fokkink, W., Groote, J.F., Pang, J., van de Pol, J.: Verification of a sliding window protocol in μCRL and PVS. Formal Asp. Comput. 17(3), 342-388 (2005)

    2. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. ICCAD 1993, 188-191 (1993)

    3. Bakhshi, R., Fokkink, W., Pang, J., van de Pol, J.: Leader election in anonymous rings: Franklin goes probabilistic. In: Ausiello, G., Karhumäki, J., Mauri, G., Ong, C.L. (eds.) TCS'08, IFIP, vol. 273, pp. 57-72. Springer, Berlin (2008)

    4. Blom, S., Haverkort, B.R., Kuntz, M., van de Pol, J.: Distributed Markovian bisimulation reduction aimed at CSL model checking. ENTCS 220(2), 35-50 (2008)

    5. Blom, S., Orzan, S.: Distributed branching bisimulation reduction of state spaces. ENTCS 89(1), 99-113 (2003)

    6. Blom, S., van de Pol, J., Weber, M.: LTSmin: distributed and symbolic reachability. In: CAV, LNCS, vol. 6174, pp. 354-359. Springer (2010)

    7. Blumofe, R.D.: Scheduling multithreaded computations by work stealing. In: FOCS, pp. 356-368. IEEE Computer Society (1994)

    8. Bouali, A., de Simone, R.: Symbolic bisimulation minimisation. In: Computer Aided Verification, 4th International Workshop, LNCS, vol. 663, pp. 96-108. Springer (1992)

    9. Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a BDD package. In: DAC, pp. 40-45 (1990)

    10. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35(8), 677-691 (1986)

  • Related Research Results (2)
  • Metrics
    No metrics available
Share - Bookmark