| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
Author  |
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa | ||||
| Title | A Probabilistic Approach to Automatic Verification of Concurrent Systems | Type | Conference Article | ||
| Year | 2001 | Publication | 8th Asia-Pacific Software Engineering Conference (APSEC) | Abbreviated Journal | |
| Volume | Issue | Pages | 317-324 | ||
| Keywords | |||||
| Abstract | The main barrier to automatic verification of concurrent systems is the huge amount of memory required to complete the verification task (state explosion). In this paper we present a probabilistic algorithm for automatic verification via model checking. Our algorithm trades space with time. In particular, when memory is full because of state explosion our algorithm does not give up verification. Instead it just proceeds at a lower speed and its results will only hold with some arbitrarily small error probability. Our preliminary experimental results show that by using our probabilistic algorithm we can typically save more than 30% of RAM with an average time penalty of about 100% w.r.t. a deterministic state space exploration with enough memory to complete the verification task. This is better than giving up the verification task because of lack of memory. | ||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | IEEE Computer Society | Place of Publication | Macau, China | Editor | |
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | 0-7695-1408-1 | ISBN | Medium | ||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ apsec01 | Serial | 43 | ||
| Permanent link to this record | |||||