モデル検査入門(蓮尾一郎による)
蓮尾一郎
https://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture09ModelChecking.pdf
#モデル検査