Browsing by Subject "Model checking"
Now showing items 1-3 of 3
-
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. ... -
Circus2CSP: A tool for model-checking circus using FDR
(2019)In this paper, we introduce Circus2CSP, a tool that automatically translates Circus into 𝐶𝑆𝑃𝑀, with an implementation based on a published manual translation scheme. This scheme includes new and modified translation ... -
Towards a model-checker for circus
(2019)Among several approaches aiming at the correctness of systems, model-checking is one technique to formally assess system models regarding their desired/undesired behavioural properties. We aim at model-checking the Open ...