TY  - RPRT
TI  - A Case Study on Model Checking and Runtime Verification for Awkernel
AU  - Akira Hasegawa
AU  - Ryuta Kambe
AU  - Toshiaki Aoki
AU  - Yuuki Takano
PY  - 2025
UR  - https://arxiv.org/abs/2503.09282
ID  - 2503.09282
ER  -