✦ LIBER ✦

Comparing model checking and logical reasoning for real-time systems

✍ Scribed by Henning Dierks

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Verifying distributed real-time properti

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

An application of structural modeling an

✍ Shinichi Honiden; Naoshi Uchihira; Kazunori Matsumoto; Kazuo Matsumura; Masahiko 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 949 KB

Collaborative Model and Algorithms for S

✍ Hoong Chilin Lau; Qi Zhang Liu 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 502 KB

An execution environment for real-time m

✍ Z. Papp; J.A. van Woerden; B.J.F. Driessen 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 570 KB

Oris: a tool for modeling, verification

✍ Giacomo Bucci; Laura Carnevali; Lorenzo Ridi; Enrico Vicario 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 926 KB