Program Dependence Net Reduction for LTL Model Checking

The Net Reduction technique reduces a large model into a smaller model through structural reduction. In model checking, a smaller net means smaller state sizes and explored path lengths. There are many effective reduction rules on low-level net, but on PDNet, some rules may break net information. We... View More