To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

Hardware systems complexity has constantly increased in recent years. Guaranteeing their correctness is a must. Formal verification techniques, such as model checking, now play a major role in industrial environments. Their efficiency in dealing with large sets of properties is crucial. This paper deals with property grouping, decomposition, and coverage in… CONTINUE READING