Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International SPIN Workshop (27th : 2021 : Online)
Imprint:	Cham : Springer, [2021] ©2021
Description:	1 online resource : illustrations (some color).
Language:	English
Series:	Lecture notes in computer science ; 12864 LNCS sublibrary: SL1 - Theoretical computer science and general issues Lecture notes in computer science ; 12864. 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. Electronic books. Conference papers and proceedings. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/12630900

Hidden Bibliographic Details
Varying Form of Title:	SPIN 2021
Other authors / contributors:	Laarman, Alfons, editor. Sokolova, Ana, editor.
ISBN:	9783030846299 3030846296 9783030846282 3030846288
Notes:	International conference proceedings. Includes author index. Online resource; title from PDF title page (SpringerLink, viewed August 16, 2021).
Summary:	This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Other form:	Original 3030846288 9783030846282
Standard no.:	10.1007/978-3-030-84629-9

Similar Items