Symbolic Reachability Analysis of B through ProB and LTSmin

J. Bendisposto, P. Körner, M Leuschel, Jeroen Meijer, Jan Cornelis van de Pol, H. Treharne, J. Whitefield

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    274 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Symbolic Reachability Analysis of B through ProB and LTSmin'. Together they form a unique fingerprint.

    Computer Science