✦ LIBER ✦

Model checking MASL specification of distributed real-time systems

✍ Scribed by D. Yu. Bugaichenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verifying automata specification of dist

✍ Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang; Zhenghu Gong; Zhichang Qi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 595 KB

Real-Time Systems || Model Checking of F

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

Verifying distributed real-time properti

✍ Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 863 KB

Comparing model checking and logical rea

✍ Henning Dierks 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 242 KB

Exact Acceleration of Real-Time Model Ch

✍ Martijn Hendriks; Kim G. Larsen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Specification of Real-Time Systems in UM

✍ E.E. Roubtsova; J. van Katwijk; W.J. Toetenel; C. Pronk; R.C.M. de Rooij 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 161 KB