Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)
Imprint:	Cham : Springer, 2015.
Description:	1 online resource (xviii, 319 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 9232 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 9232. LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:	SPIN (Computer file) -- Congresses. SPIN (Computer file) Computer software -- Verification -- Congresses. Software engineering -- Congresses. Computer software -- Testing -- Congresses. Computer software -- Testing. Computer software -- Verification. Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11095910

Hidden Bibliographic Details
Varying Form of Title:	SPIN 2015
Other authors / contributors:	Fischer, Bernd, editor. Geldenhuys, Jaco, editor.
ISBN:	9783319234045 3319234048 9783319234038 331923403X 9783319234038
Digital file characteristics:	text file PDF
Notes:	International conference proceedings. Includes bibliographical references and author index. Online resource; title from PDF title page (SpringerLink, viewed September 3, 2015).
Summary:	This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.
Other form:	Printed edition: 9783319234038
Standard no.:	10.1007/978-3-319-23404-5

Similar Items