Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration'. Together they form a unique fingerprint.

Engineering & Materials Science