On the verification of parametric and real-time systems

Doctoral thesis English OPEN
Di Giampaolo, Barbara;
(2011)
  • Publisher: Universita degli studi di Salerno
  • Subject: Model checking | Synthesis | Temporal logics | INF/01 INFORMATICA

2009 - 2010 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 controllers. Failures in ... View more
Share - Bookmark