Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /

Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /

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 prese...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dwyer, Matthew (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Lecture Notes in Computer Science, 2057
Subjects:	Software engineering. Programming languages (Electronic computers). Computer logic. Software Engineering/Programming and Operating Systems. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Software Engineering.
Online Access:	Full Text via HEAL-Link

Similar Items

SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
Published: (2000)

Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
Published: (2003)

Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
Published: (2002)

Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /
Published: (2001)

Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
Published: (2000)

Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /
Published: (2003)

Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
Published: (2002)

Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /
Published: (2004)

Fundamental Approaches to Software Engineering Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Published: (1999)

Fundamental Approaches to Software Engineering First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Published: (1998)

Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
Published: (2002)

Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Published: (2003)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Published: (2001)

Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
Published: (2001)

Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
Published: (1999)

Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
Published: (2003)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Published: (2003)

Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Published: (1998)

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Published: (2000)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Published: (1999)

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
Published: (2004)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Published: (2002)

Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
Published: (2003)

Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
Published: (2001)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Published: (2002)

Generative and Component-Based Software Engineering First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers /
Published: (2000)

Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
Published: (1999)

Reflection and Software Engineering
Published: (2000)

Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
Published: (2000)

Modular Specification and Verification of Object-Oriented Programs
by: Müller, Peter, et al.
Published: (2002)

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
Published: (2002)

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
Published: (2000)

Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Published: (1999)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Published: (2002)

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
Published: (2003)

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
Published: (2018)

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /
Published: (2003)

Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
Published: (1998)

Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Published: (2003)

Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
by: Fahringer, Thomas, et al.
Published: (2003)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών