Browsing by Subject "Test Generation"
Now showing items 1-1 of 1
-
Applying Formal Verification to an Open-Source Real-Time Operating System
(Springer Nature Switzerland, 2023)This paper describes work done using formal methods to verify parts of the RTEMS real-time operating system, as part of an activity sponsored by the European Space Agency to qualify multi-core processors for spaceflight. ...