Released on March 24th, 2021
Experience formal verification users know how to refine the results of formal verification intuitively. However, new users have found this skill challenging to master, hence, lead to frustration and disappointment. In this session, we capture the refinement process into a step-by-step methodology, formulate it graphically so that it is easy to understand and replicate.