本研究では反証的CTLモデル検査の拡張とその応用を提案した. 反証的CTLモデル検査は, 従来の標準的なCTLモデル検査および矛盾許容CTLモデル検査を統合・一般化したモデル検査である. 本研究では反証的CTLモデル検査の拡張として, 矛盾許容性, 階層性および不確実性を同時に扱える拡張を提案した. そして, この拡張反証的CTLモデル検査の応用例として, 臨床推論検証の具体例を示した.