Slicing Reduction for Algebraic Verification of SEREs Properties
Li Hu, Ning Lin Zhou, An Ping He, Xin Gao · Advanced materials research · 2013
Slicing reduction of a system is a technique, which advantage is that the detection can be performed on the part of the global state space which is of interest. In this paper, we present an algorithm which applies the slicing reduction technique to an algebraic verification method for SEREs properties. Due to slicing reduction, the algebraic verification algorithm only requires a part of state variables relevant to the SEREs properties, which can significantly improve the efficiency of the verification algorithm.