Partial Order Reduction for Deep Bug Finding in Synchronous Hardware.

Makai Mann Clark W. Barrett

Published in: TACAS (1) (2020)

Keyphrases

partial order reduction
model checking
low cost
hardware and software
source code
software systems
petri net
hardware implementation
massively parallel
deep learning
database systems
multi agent systems
software engineering
database
computing power
high end
vlsi implementation
website