✦ LIBER ✦

Predicate diagrams for the verification of real-time systems

✍ Scribed by Eun-Young Kang; Stephan Merz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Predicate Abstraction for Dense Real-Tim

✍ M.Oliver Möller; Harald Rueß; Maria Sorea 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 406 KB

Real-Time Verification Techniques for Un

✍ Xiaoqun Du; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Real-Time Systems || Analysis and Verifi

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

An engineering process for the verificat

✍ A. Burns; T. -M. Lin 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 361 KB

Mechanizing the verification of real-tim

✍ J.S. Ostroff 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 687 KB

Real-Time Systems || Timing Analysis of

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 493 KB 👁 2 views