Formal Verification of Structurally Complex Multipliers

Formal System Verification: State-of the-Art and Future Trends

Formal Verification: An Essential Toolkit for Modern VLSI Design

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering