A useful side effect of the statement is that it can print a string on the standard output stream during simulation runs. The Promela printf statement supports ...
確定! 回上一頁