@techreport{oai:ipsj.ixsq.nii.ac.jp:00213813,
 author = {小島, 海 and 高田, 眞吾},
 issue = {5},
 month = {Nov},
 note = {システムの設計を表現するモデルを検証するための技術として，形式手法の一つであるモデル検査が挙げられる．従来のモデル検査では，モデルが仕様を満たすか否かという Bool 値及び，モデルが仕様を満たさないのであれば，反例に至るパスを出力していた．しかし，実際の開発現場ではこれらの情報だけでは不足が多く，それに伴い定量的な値を出力する定量的モデル検査手法が昨今提案されている．本研究では，これらの定量的モデル検査手法のうち，Henzinger らが提案した Model Measuring に注目する．Model Measuring のアイディアは実装されていないため，本研究ではこのアイディアを実装するための研究を行なった．},
 title = {定量的モデル検査手法Model Measuringの実装に関する研究},
 year = {2021}
}