Pushdown module checking.

Laura Bozzelli Aniello Murano Adriano Peron

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

model checking
artificial intelligence
neural network
machine learning
computer science
pairwise
verilog hdl