Verwandte Artikel zu Model Checking Software: 12th International SPIN Workshop,...
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings: 3639 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in?nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr´ eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer's Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in?nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr´ eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer's Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
Reseña del editor
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 27,09
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Model Checking Software: 12th International SPIN Workshop,...
Beispielbild für diese ISBN
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-1019
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking Software
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 308 Illus. Artikel-Nr. 5856816
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-291457
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science, 3639)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540281955_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Model Checking Software
ISBN 10: 3540281959
ISBN 13: 9783540281955
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch. Artikel-Nr. 9783540281955
Anzahl: 2 verfügbar
Foto des Verkäufers
Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22 24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer s Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications. Artikel-Nr. 9783540281955
Anzahl: 1 verfügbar