Abstract: Model checking technology addresses the limitations of traditional testing methods, which cannot cover all possible system states. Syntax transformation-based model checking methods convert ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results