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

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Verification of Autonomous Systems

Formal Verification of Structurally Complex Multipliers

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)