Topics in monitoring and planning for embedded real-time systems
<p>The verification of real-time systems has gained much interest in the formal verification community during the past two decades. In this thesis, we investigate two real-time verification problems that benefit from the techniques normally used in untimed verification.</p> <p>The...
Huvudupphovsman: | Ho, H |
---|---|
Övriga upphovsmän: | Ouaknine, J |
Materialtyp: | Lärdomsprov |
Språk: | English |
Publicerad: |
2015
|
Ämnen: |
Liknande verk
Liknande verk
-
Saturation methods for global model-checking pushdown systems
av: Hague, M
Publicerad: (2009) -
Tractable query answering for description logics via query rewriting
av: Perez-Urbina, H, et al.
Publicerad: (2010) -
Synthesis and alternating automata over real time
av: Jenkins, M, et al.
Publicerad: (2012) -
Quantitative verification of real-time properties with application to medical devices
av: Marco Diciolla, M, et al.
Publicerad: (2014) -
A framework of trust in service workflows
av: Viriyasitavat, W
Publicerad: (2013)