| 摘要 |
PURPOSE:To offer the verification system with less processing amount by introducing a global transition candidate through the combination of transition executed immediately, eliminating redundant global transition candidates and deciding finally the global transition by transmission/reception transition simultaneous processing. CONSTITUTION:A memory 1 stores a protocol specifications. The initial value of various variables used for verification processing is set in the block 2. In the block 3, the executionable undefined reception in the global state is detected, in the block 4, the executable transition is extracted immediately similarly and in the block, the candidate of global transition is introduced. In the block 6, the processing result of the block 5 is inputted to exclude redundant global transition candidate. In the block 7, the global transition is decided finally by applying simultaneous processing in the possible range for the transmission transition and reception transition to the result of processing of the block 6. In the block 8, the transition diagram is revised by adding the transition obtained by the block 7 in the global state obtained by executing it (stored in the memory 12). |
