Promela model for process_is_running

process_run

1	//--- Begin of process.c\process_is_running():382-386
2	proctype process_is_running(chan process_is_running_sync_ch;chan params_chan)
3	{
4	int p;
5	params_chan ? p;
6	end: process_is_running_sync_ch ! (processes[p].state != PROCESS_STATE_NONE);//process.c\process_is_running():385
7	}//--- End of process.c\process_is_running():382-386

Control flow abstraction of process_is_running()

Promela model of process_is_running()

Dr.Elham Mahmoudzadeh