✦ LIBER ✦

New results in software model checking and analysis

✍ Scribed by Corina S. Păsăreanu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking software: on some new wav

✍ Dragan Bošnački; Stefan Edelkamp 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 144 KB

Local model checking and protocol analys

✍ Xiaoqun Du; Scott A. Smolka; Rance Cleaveland 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 317 KB

Cut Set Analysis using Behavior Trees an

✍ Peter A. Lindsay; Nisansala Yatapanage; Kirsten Winter 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 592 KB

Experiment design and graphical analysis

✍ M.J. Luvalle 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 820 KB

New Model and Algorithm for Hardware/Sof

✍ Ji-Gang Wu; Thambipillai Srikanthan; Guang-Wei Zou 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 543 KB

Flowsheet modelling software for process

✍ A. Morris; J. Bartlett; A. Deneys 📂 Article 📅 1997 🏛 The Minerals, Metals & Materials Society 🌐 English ⚖ 160 KB