A method for the specification and verification of distributed systems by a timed automaton
Satoshi Yamane · Systems and Computers in Japan · 1997
In this paper, we propose a method for the specification and verification of distributed systems. We can easily specify fairness and timing constraints, and can effectively verify distributed systems by our proposed method. In order to specify fairness, an enable condition and a performed condition are attached to a finite set of states in our proposed specification method. In order to effectively verify distributed systems, we restrict the timing constraints of a timed automation. Verification systems developed on the basis of our proposed method have shown it to be effective. © 1997 Scripta Technica, Inc. Syst Comp Jpn 28(2):11–20, 1997