Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008736146/catalog> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.".
- catalog contributor b12241200.
- catalog contributor b12241201.
- catalog contributor b12241202.
- catalog created "2001.".
- catalog date "2001".
- catalog date "2001.".
- catalog dateCopyrighted "2001.".
- catalog description "Bernhard Steffen, Tiziana Margaria, Volker Braun.".
- catalog description "From model checking to a temporal proof / Doron Peled, Lenore Zuck -- Model checking if your life depends on it: a view from intel's trenches / Rob Gerth -- Model-checking infinite state-space systems with fine-grained abstractions using SPIN / Marsha Chechik, Bebet Devereux, Arie Gurfinkel -- Implementing LTL model checking with net unfoldings / Javier Esparza, Keijo Heljanko -- Directed explicit model checking with HSF-SPIN / Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue -- Addressing dynamic issues of program model checking / Flavio Lerda, Willem Visser -- Automaticallu validating temporal safety properties of interfaces / Thomas Ball, Sriram K. Rajamani -- Verification experiments on the MASCARA protocol / Guoping Jia, Susanne Graf -- Using SPIN for feature interaction analysis-a case study / Muffy Calder, Alice Miller -- Behavioural analysis of the enterprise javabens component architecture / Shin Nakajima, Tetsuo tamai --".
- catalog description "Includes bibliographical references and index.".
- catalog description "This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.".
- catalog description "p2b: a translation utility for linking promela and symbolic model checking (tool paper) / Michael Baldamus, Jochen Schröder-Babo -- Transformations for model checking distributed java programs / Scott D. Stoller, Yanhong A. Liu -- Distribured LTL model-checking in SPIN / Jiri Barnat, Lubos Brim, Jitka Stříbrná -- Parallel state space construction for model-checking / Hubert Garavel, Radu Mateescu, Irina Smarandache -- Model checking systems of replicated processes with spin / Fabrice derepas, Paul Gastin -- SPIN-based model checker for telecommunication protocols / Vivek K. Shanbhag, K. Gopinath -- Modeling and verifying a price model for congestion control in computer networks using promela/spin / Clement Yuen, Wei Tjioe -- Model checking project at philips research / Leszek Holenderski -- Applications of model checking at honeywell laboratories / Darren Cofer ... [et al.] -- Coarse-granular model checking in practice /".
- catalog extent "x, 311 p. :".
- catalog identifier "3540421246 (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2057".
- catalog issued "2001".
- catalog issued "2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/4 21".
- catalog subject "Computer science.".
- catalog subject "Computer simulation Testing Data processing Congresses.".
- catalog subject "Computer software Verification Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA76.76.V47 I58 2001".
- catalog subject "SPIN (Computer file) Congresses.".
- catalog subject "Software engineering.".
- catalog tableOfContents "Bernhard Steffen, Tiziana Margaria, Volker Braun.".
- catalog tableOfContents "From model checking to a temporal proof / Doron Peled, Lenore Zuck -- Model checking if your life depends on it: a view from intel's trenches / Rob Gerth -- Model-checking infinite state-space systems with fine-grained abstractions using SPIN / Marsha Chechik, Bebet Devereux, Arie Gurfinkel -- Implementing LTL model checking with net unfoldings / Javier Esparza, Keijo Heljanko -- Directed explicit model checking with HSF-SPIN / Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue -- Addressing dynamic issues of program model checking / Flavio Lerda, Willem Visser -- Automaticallu validating temporal safety properties of interfaces / Thomas Ball, Sriram K. Rajamani -- Verification experiments on the MASCARA protocol / Guoping Jia, Susanne Graf -- Using SPIN for feature interaction analysis-a case study / Muffy Calder, Alice Miller -- Behavioural analysis of the enterprise javabens component architecture / Shin Nakajima, Tetsuo tamai --".
- catalog tableOfContents "p2b: a translation utility for linking promela and symbolic model checking (tool paper) / Michael Baldamus, Jochen Schröder-Babo -- Transformations for model checking distributed java programs / Scott D. Stoller, Yanhong A. Liu -- Distribured LTL model-checking in SPIN / Jiri Barnat, Lubos Brim, Jitka Stříbrná -- Parallel state space construction for model-checking / Hubert Garavel, Radu Mateescu, Irina Smarandache -- Model checking systems of replicated processes with spin / Fabrice derepas, Paul Gastin -- SPIN-based model checker for telecommunication protocols / Vivek K. Shanbhag, K. Gopinath -- Modeling and verifying a price model for congestion control in computer networks using promela/spin / Clement Yuen, Wei Tjioe -- Model checking project at philips research / Leszek Holenderski -- Applications of model checking at honeywell laboratories / Darren Cofer ... [et al.] -- Coarse-granular model checking in practice /".
- catalog title "Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "Toronto (2001) swd".
- catalog type "text".