Reduction of the number of states and the acceleration of LMNtal parallel model checking

Ryo Yasuda, Taketo Yoshida, Kazunori Ueda

    Research output: Contribution to journalArticle

    Fingerprint Dive into the research topics of 'Reduction of the number of states and the acceleration of LMNtal parallel model checking'. Together they form a unique fingerprint.

    Engineering & Materials Science