0

私はプロメラが初めてです。私はpromelaで書かれたプログラミングを持っています:

bit signal [2];
active [2] proctype proc() {
l1: signal[_pid]=1;
l2: !signal[1-_pid] -> 
l3: signal[_pid]=0;
}
#define sig0 (signal[0]==0)
#define sig1 (signal[0]==1)

このプログラムの遷移システムを描く方法を知っている人はいますか?

4

1 に答える 1