Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theor,

Logic Synthesis and Verification Algorithms by Hachtel

Formal Hardware Verification : Methods and Systems in Comparison, Paperback b...

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of

GROKKING ALGORITHMS: Advanced Methods to Learn and Use Grokking Algorithms a...

Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf

Schneider - Verification of Reactive Systems Formal Methods and Algo - X555z

Reactive Systems: Modelling, Specification And Verification By Luca Aceto