Search

• < Previous
• 1
• Next >

---

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;]

---

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;]

---

A first-order logic characterization of safety and co-safety languages

Alessandro Cimatti ; Luca Geatti ; Nicola Gigante ; Angelo Montanari ; Stefano Tonetta.

Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent to counter-free omega-automata, to star-free&nbsp;[&hellip;]

---