Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings / Alfons Laarman, Ana Sokolova (eds.).
2021
QA76.76.V47 I58 2021
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings / Alfons Laarman, Ana Sokolova (eds.).
Meeting Name
International SPIN Workshop (27th : 2021 : Online)
ISBN
9783030846299 (electronic bk.)
3030846296 (electronic bk.)
9783030846282
3030846288
3030846296 (electronic bk.)
9783030846282
3030846288
Published
Cham : Springer, [2021]
Copyright
©2021
Language
English
Description
1 online resource : illustrations (some color)
Item Number
10.1007/978-3-030-84629-9 doi
Call Number
QA76.76.V47 I58 2021
Dewey Decimal Classification
005.1/4
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.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 16, 2021).
Added Author
Laarman, Alfons, editor.
Sokolova, Ana, editor.
Sokolova, Ana, editor.
Series
Lecture notes in computer science ; 12864.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Invited Talks
The marriage between safety and cybersecurity: still practicing
A Hands-on Introduction to Spatial Model Checking using VoxLogicA
Model Checking
Accelerating the Computation of Dead and Concurrent Places using Reductions
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Verifying Pipeline Implementations in OpenMP
Tool Papers
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
PatEC: Pattern-based Equivalence Checking
Go2Pins: a framework for the LTL verification of Go programs
Probabilistic Model Checking of Randomized Java Code
Case Studies
A model-checked I2C specification.
The marriage between safety and cybersecurity: still practicing
A Hands-on Introduction to Spatial Model Checking using VoxLogicA
Model Checking
Accelerating the Computation of Dead and Concurrent Places using Reductions
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Verifying Pipeline Implementations in OpenMP
Tool Papers
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
PatEC: Pattern-based Equivalence Checking
Go2Pins: a framework for the LTL verification of Go programs
Probabilistic Model Checking of Randomized Java Code
Case Studies
A model-checked I2C specification.