Formal System Design and Verification: A Perspective.

We give a perspective on rigorous design and verification, by reflecting on some design and verification efforts we have worked on with collaborators over many years.