An on-the-fly tableau construction for a real-time temporal logic
An on-the-fly tableau construction for a real-time temporal logic
An on-the-fly tableau construction for a real-time temporal logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
1. Introducti<strong>on</strong>: Real-<strong>time</strong> Systems<br />
• Real-<strong>time</strong> systems must adhere to<br />
quantitative timing c<strong>on</strong>straints<br />
• Embedded systems, c<strong>on</strong>trol systems,<br />
etcetera<br />
• Hard <strong>real</strong>-<strong>time</strong>, soft <strong>real</strong>-<strong>time</strong><br />
A 2