Refinement of Safety-Related Hazards into Verifiable Code Assertions.

Ken Wong, Jeff Joyce

Browse the full SAFECOMP paper archive.