Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have