出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/26 19:31 UTC 版)「線形時相論理」の記事における「他の論理との関係」の解説線形時相論理(LTL) は CT...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/26 19:31 UTC 版)「線形時相論理」の記事における「重要な特性」の解説線形時相論理で表現できる重要な特性とし...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/07/14 08:42 UTC 版)「SPINモデルチェッカ」の記事における「Promela」の解説その名前(Process...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/19 14:13 UTC 版)「非古典論理」の記事における「古典論理の拡張としての非古典論理」の解説古典論理の拡張とし...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「様々な時相論理」の解説インターバル時相論理（英語版） (IT...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/19 14:34 UTC 版)「並行性」の記事における「論理」の解説様々な時相論理が並行システムの理解を助けるために使...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「時相作用素」の解説時相論理では2種類の作用素を使用する。論理...

SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてき...

SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてき...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「形式的検証の手法」の解説形式的検証の手法は大きく2つに分類...