Do You Know What Your Assertions Are Up To? A New Approach to Safety Critical Verification Author(s): Lee C. Smith Download