「時相論理」を解説文に含む見出し語の検索結果(1~10/299件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「様々な時相論理」の解説インターバル時相論理(英語版) (IT...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/26 19:31 UTC 版)「線形時相論理」の記事における「他の論理との関係」の解説線形時相論理(LTL) は CT...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/27 01:53 UTC 版)「レスリー・ランポート」の記事における「時相論理」の解説ランポートは時相論理の研究でも知...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「時相作用素」の解説時相論理では2種類の作用素を使用する。論理...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/26 19:31 UTC 版)「線形時相論理」の記事における「重要な特性」の解説線形時相論理で表現できる重要な特性とし...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/07 21:50 UTC 版)「デイナ・スコット」の記事における「様相論理と時相論理」の解説このころジョン・レモンと共...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/19 14:13 UTC 版)「非古典論理」の記事における「古典論理の拡張としての非古典論理」の解説古典論理の拡張とし...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/19 14:34 UTC 版)「並行性」の記事における「論理」の解説様々な時相論理が並行システムの理解を助けるために使...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「形式的検証の手法」の解説形式的検証の手法は大きく2つに分類...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/07/14 08:42 UTC 版)「SPINモデルチェッカ」の記事における「Promela」の解説その名前(Process...
< 前の結果 | 次の結果 >
>>
「時相論理」の辞書の解説