✦ LIBER ✦

Syntax-directed model checking of sequential programs

✍ Scribed by Karen Yorav; Orna Grumberg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntax-directed compression of program f

✍ Jyrki Katajainen; Martti Penttonen; Jukka Teuhola 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 477 KB

Sequential and Distributed Model Checkin

✍ Alexander Bell; Boudewijn R. Haverkort 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Directed explicit-state model checking i

✍ Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 976 KB

A Per Model of Secure Information Flow i

✍ Andrei Sabelfeld; David Sands 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 166 KB

Models of sequential programs used to st

✍ R. I. Podlovchenko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 970 KB

A Sequential Quadratically Constrained Q

✍ Jin-bao Jian; Qing-jie Hu; Chun-ming Tang; Hai-yan Zheng 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 436 KB