Do You Know What Your Assertions Are Up To? A New Approach to Safety Critical Verification

Author(s):
Lee C. Smith
Type:
Paper