Slide 46
Slide 46 text
References
46
1. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation" in IEEE Transactions
on Computers, vol. C-35, no. 8, pp. 677-691, Aug. 1986, doi: 10.1109/TC.1986.1676819.
2. Clarke, E. M., Jr, Grumberg, O., Kroening, D., Peled, D., & Veith, H. (2018). Model Checking,
Second Edition. MIT Press.
3. チェシャ猫 (2024). モデル検査器をつくる
Code
https://github.com/r1ru/model-checker-from-scratch