Yunja Choi. Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. In Tadashi Dohi, Bojan Cukic, editors, IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 200-209, IEEE, 2011. [doi]
Abstract is missing.