0.PROMELAの基本文法 

【C言語】  文; 文; 文; 文;
【Promela】 文; 文; 文; 文