A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems.

Panagiotis Manolios Sudarshan K. Srinivasan

Published in: CHARME (2005)

Keyphrases

decision problems
benchmark suite
related problems
difficult problems
data sets
search engine
information systems
image sequences
lower bound
model checking