✦ LIBER ✦

Refinement-Based Verification of Interactive Real-Time Systems

✍ Scribed by Maria Spichkova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinement-based verification of elastic

✍ Srinivasan, S.K.; Cai, Y.; Sarker, K. 📂 Article 📅 2012 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 469 KB

Real-Time Systems || Analysis and Verifi

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

Modeling and verification of real-time s

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Refinement-based formal verification wit

✍ Xiaohua Kong; Radu Negulescu; Larry Weidong Ying 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 790 KB

Efficient Verification of Parallel Real–

✍ Tomohiro Yoneda; Bernd–Holger Schlingloff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 452 KB

Formal verification of real-time systems

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB