2014-01-04から1日間の記事一覧
同時にに変数の値を変える nusmv コード MODULE main VAR var1 : boolean; var2 : boolean; ASSIGN init(var1) := TRUE; next(var1) := case TRUE : {TRUE, FALSE}; esac; init(var2) := TRUE; next(var2) := case TRUE : {TRUE, FALSE}; esac;実行例 NuSMV …
同時にに変数の値を変える nusmv コード MODULE main VAR var1 : boolean; var2 : boolean; ASSIGN init(var1) := TRUE; next(var1) := case TRUE : {TRUE, FALSE}; esac; init(var2) := TRUE; next(var2) := case TRUE : {TRUE, FALSE}; esac;実行例 NuSMV …
