. "Partial Order Reduction for Deep Bug Finding in Synchronous Hardware" . . . . "cc-by" . "Barrett, Clark" . . . "PMC" . "PMC7439740" . "Mann, Makai" . "2020-03-13"^^ . . "Tools and Algorithms for the Construction and Analysis of Systems" . . "59553dff42f69f6f05e0d8a69576b9f4085b352b" . "10.1007/978-3-030-45190-5_20" .