A Case Study on Model Checking and Runtime Verification for Awkernel

Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki +1

In operating system development, concurrency poses significant challenges. It is difficult for humans to manually review concurrent behaviors or to write test cases covering all po…