An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code.

Darren Sexton

Browse the full FMICS paper archive.