# 自我檢查事項(sandbox) contributed by <`ZixinYang`, `kevin550029`> * [隔離執行環境的建構](https://hackmd.io/s/rk98sQFJM) * [Model Checking](https://hackmd.io/s/SkB12UYyf)