20/12/29 23:33:22.15 HFls+/kb.net
>>109
時相論理の事かな
ソフトウェアのモデル検査に使える奴
並列処理プログラムとかの静的解析するときに使われる
20/12/29 23:33:22.15 HFls+/kb.net
>>109
時相論理の事かな
ソフトウェアのモデル検査に使える奴
並列処理プログラムとかの静的解析するときに使われる
20/12/29 23:33:22.15 HFls+/kb.net
>>109
時相論理の事かな
ソフトウェアのモデル検査に使える奴
並列処理プログラムとかの静的解析するときに使われる