Model checking technology and tool development based on Groebner base
Jinzhao Wu · Journal of Computer Applications · 2009
In this paper,a new model checking algorithm introduces the application of Groebner to reduce the polynomial formula in the property verification,and it can efficiently optimize the computing complexity problem.A new symbolic model checking tool was built based on this algorithm.And this tool is proved to be effective for different types of software and hardware system,and has high practice value.