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

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation