The Library
Snapshot verification
Tools
UNSPECIFIED (2005) Snapshot verification. In: 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, SCOTLAND, APR 04-08, 2005. Published in: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 3440 pp. 510-525. ISBN 3-540-25333-5. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
The classical model for concurrent systems is based on observing execution sequences of global states, separated from each other by atomic transitions. This model is intuitively simple and enjoys a variety of mathematical tools, e.g., finite automata and linear temporal logic, and algorithms that can be applied in order to test and verify concurrent systems. Although this model is sufficient for most frequently used validation tasks, some phenomena of concurrent systems are difficult to express using its related formalisms. In particular, not all the global states (snapshots) related to an execution appear on a particular execution sequence; some appear on equivalent sequences. Previous attempts to move into formalisms that are based on a more detailed model of execution, e.g,. the causality based model, resulted in specification formalisms with inherently high complexity verification algorithms. We study here verification problems that involve allowing the execution sequences model to observe past global states from equivalent executions. We show various algorithms and complexity results related to our extension of the interleaving model.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-25333-5 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Halbwachs, N and Zuck, LD | ||||
Official Date: | 2005 | ||||
Dates: |
|
||||
Volume: | 3440 | ||||
Number of Pages: | 16 | ||||
Page Range: | pp. 510-525 | ||||
Publication Status: | Published | ||||
Title of Event: | 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | ||||
Location of Event: | Edinburgh, SCOTLAND | ||||
Date(s) of Event: | APR 04-08, 2005 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |