✦ LIBER ✦

Space-Reduction Strategies for Model Checking Dynamic Software

✍ Scribed by Robby; Matthew B. Dwyer; John Hatcliff; Radu Iosif

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 277 KB
Volume: 89
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80009-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Transactions for Software Model Checking

✍ Cormac Flanagan; Shaz Qadeer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Using probabilistic model checking for d

Using probabilistic model checking for dynamic power management

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

Local model checking for infinite state

Local model checking for infinite state spaces

✍ Julian Bradfield; Colin Stirling 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 971 KB

Partial-order Reduction Techniques for R

Partial-order Reduction Techniques for Real-time Model Checking

✍ Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 120 KB

Model reduction for state-space symmetri

Model reduction for state-space symmetric systems

✍ W.Q. Liu; V. Sreeram; K.L. Teo 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 96 KB

In this paper, the model reduction problem for state-space symmetric systems is investigated. First, it is shown that several model reduction methods, such as balanced truncation, balanced truncation which preserves the DC gain, optimal and suboptimal Hankel norm approximations, inherit the state-sp

A dynamic capture–recapture model for so

A dynamic capture–recapture model for software defect prediction

✍ Robert Bucholz; Phillip A. Laplante 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 240 KB