Abstract
Abstract Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking algorithm.The advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have