Safety Analysis of Trampoline OS Using Model Checking: An Experience Report.

Yunja Choi

Browse the full ISSRE paper archive.