Search
Now showing items 1-2 of 2
On the verification of parametric and real-time systems
(Universita degli studi di Salerno, 2011-05-06)
Parametric and Real-Time Systems play a central role in the theory underlying
the Verification and Synthesis problems.
Real-time systems are present everywhere and are used in safety critical
applications, such as flight ...
Synthesis of recursive state machines from libraries of game modules
(Universita degli studi di Salerno, 2016-05-18)
This thesis is focused on synthesis. In formal veri cation synthesis can be
referred to the controller synthesis and the system synthesis. This work
combines both this area of research.
First we focus on synthesizing ...