Treffer: Towards Model Checking Linux Interrupts Behavior for SMP Systems
Title:
Towards Model Checking Linux Interrupts Behavior for SMP Systems
Authors:
Source:
2023 Ivannikov Ispras Open Conference (ISPRAS) Ivannikov Ispras Open Conference (ISPRAS), 2023. :150-156 Dec, 2023
Relation:
2023 Ivannikov Ispras Open Conference (ISPRAS)
Database:
IEEE Xplore Digital Library