Search

• < Previous
• 1
• Next >

---

Software Model Checking with Explicit Scheduler and Symbolic Threads

Alessandro Cimatti ; Iman Narasamdya ; Marco Roveri.

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal&nbsp;[&hellip;]

---

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Marco Bozzano ; Alessandro Cimatti ; Marco Gario ; Stefano Tonetta.

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting&nbsp;[&hellip;]

---