Formal Hardware Verification: Methods and Systems in Comparison
by Thomas Kropf (Editor), G Goos (Editor), J Hartmanis (Editor)
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the ... Show synopsis






