Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

AvMatthew Dwyer

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

571 kr

571 kr

1 135 kr

609 kr

572 kr

500 kr

571 kr

571 kr

571 kr

571 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2001-05-02
Mått:155 x 235 x 18 mm
Vikt:495 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:318
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540421245

Utforska kategorier

Innehållsförteckning

Invited Keynotes.- From model checking to a temporal proof.- Model checking if your life depends on it: a view from intel’s trenches.- Model checking if your life depends on it: a view from intel’s trenches.- Technical Papers and Tool Reports.- Model-checking in finite state-space systems with fine-grained abstractions using SPIN.- Implementing LTL model checking with net unfoldings.- Directed explicit model checking with HSF-SPIN.- Directed explicit model checking with HSF-SPIN.- Addressing dynamic issues of program model checking.- Addressing dynamic issues of program model checking.- Automatically validating temporal safety properties of interfaces.- Automatically validating temporal safety properties of interfaces.- Verification experiments on the MASCARA protocol.- Verification experiments on the MASCARA protocol.- Using SPIN for feature interaction analysis - a case study.- Using SPIN for feature interaction analysis - a case study.- Behavioural analysis of the enterprise javaBeans™ component architecture.- Behavioural analysis of the enterprise javaBeans™ component architecture.- p2b: A translation utility for linking promela and symbolic model checking (tool paper).- p2b: A translation utility for linking promela and symbolic model checking (tool paper).- Transformations for model checking distributed java programs.- Transformations for model checking distributed java programs.- Distributed LTL model-checking in SPIN.- Distributed LTL model-checking in SPIN.- Parallel state space construction for model-checking.- Parallel state space construction for model-checking.- Model checking systems of replicated processes with spin.- Model checking systems of replicated processes with spin.- A SPIN-based model checker for telecommunication protocols.- ASPIN-based model checker for telecommunication protocols.- Modeling and verifying a price model for congestion control in computer networks using promela/spin.- Modeling and verifying a price model for congestion control in computer networks using promela/spin.- Invited Project Summaries.- A model checking project at philips research.- Applications of model checking at honeywell laboratories.- Coarse-granular model checking in practice.

Mer från samma författare

Model Checking Software

Matthew Dwyer

E-bok

2003

734 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Del 13216

Requirements Engineering: Foundation for Software Quality

Vincenzo Gervasi, Andreas Vogelsang

Häftad, 2022

627 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Del 15945

Model Checking Software

Gidon Ernst, Kristin Yvonne Rozier

Häftad, 2025

500 kr

Del 9232

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

Häftad, 2015

571 kr

Model Checking Software

Antti Valmari

Häftad, 2006

571 kr

Model Checking Software

Susanne Graf, Laurent Mounier

Häftad, 2004

571 kr

Del 13872

Model Checking Software

Georgiana Caltais, Christian Schilling

Häftad, 2023

609 kr

Model Checking Software

Jaco van der Pol, Michael Weber

Häftad, 2010

571 kr

Model Checking Software

Dragan Bosnacki, Stefan Edelkamp

Häftad, 2007

571 kr

Del 13255

Model Checking Software

Owolabi Legunsen, Grigore Rosu

Häftad, 2022

1 135 kr

Del 9641

Model Checking Software

Dragan Bošnački, Anton Wijs

Häftad, 2016

571 kr

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

AvMatthew Dwyer

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

571 kr

571 kr

1 135 kr

609 kr

572 kr

500 kr

571 kr

571 kr

571 kr

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:2001-05-02
Mått:155 x 235 x 18 mm
Vikt:495 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:318
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540421245

Utforska kategorier

Innehållsförteckning

Invited Keynotes.- From model checking to a temporal proof.- Model checking if your life depends on it: a view from intel’s trenches.- Model checking if your life depends on it: a view from intel’s trenches.- Technical Papers and Tool Reports.- Model-checking in finite state-space systems with fine-grained abstractions using SPIN.- Implementing LTL model checking with net unfoldings.- Directed explicit model checking with HSF-SPIN.- Directed explicit model checking with HSF-SPIN.- Addressing dynamic issues of program model checking.- Addressing dynamic issues of program model checking.- Automatically validating temporal safety properties of interfaces.- Automatically validating temporal safety properties of interfaces.- Verification experiments on the MASCARA protocol.- Verification experiments on the MASCARA protocol.- Using SPIN for feature interaction analysis - a case study.- Using SPIN for feature interaction analysis - a case study.- Behavioural analysis of the enterprise javaBeans™ component architecture.- Behavioural analysis of the enterprise javaBeans™ component architecture.- p2b: A translation utility for linking promela and symbolic model checking (tool paper).- p2b: A translation utility for linking promela and symbolic model checking (tool paper).- Transformations for model checking distributed java programs.- Transformations for model checking distributed java programs.- Distributed LTL model-checking in SPIN.- Distributed LTL model-checking in SPIN.- Parallel state space construction for model-checking.- Parallel state space construction for model-checking.- Model checking systems of replicated processes with spin.- Model checking systems of replicated processes with spin.- A SPIN-based model checker for telecommunication protocols.- ASPIN-based model checker for telecommunication protocols.- Modeling and verifying a price model for congestion control in computer networks using promela/spin.- Modeling and verifying a price model for congestion control in computer networks using promela/spin.- Invited Project Summaries.- A model checking project at philips research.- Applications of model checking at honeywell laboratories.- Coarse-granular model checking in practice.

Mer från samma författare

Model Checking Software

Matthew Dwyer

E-bok

2003

734 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051