✦ LIBER ✦

Scaling model checking of dataraces using dynamic information

✍ Scribed by Ohad Shacham; Mooly Sagiv; Assaf Schuster

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using probabilistic model checking for d

✍ Gethin Norman; David Parker; Marta Kwiatkowska; Sandeep Shukla; Rajesh Gupta 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 378 KB

Test sequence generation and model check

✍ Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 250 KB

Dynamic Power Management of a System Wit

✍ Sesic, A.; Dautovic, S.; Malbasa, V. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 165 KB

The use of scale information for integra

✍ Thomas Clemen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Automatic Verification of Biochemical Ne

✍ Jinkyung Kim; Younghee Lee; Il Moon 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Silicon Debug of a PowerPC™ Microprocess

✍ Richard Raimi; James Lear 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 92 KB