Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Author:   Alfons Laarman ,  Ana Sokolova
Publisher:   Springer Nature Switzerland AG
Edition:   1st ed. 2021
Volume:   12864
ISBN:  

9783030846282


Pages:   195
Publication Date:   03 August 2021
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings


Add your own review!

Overview

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.

Full Product Details

Author:   Alfons Laarman ,  Ana Sokolova
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2021
Volume:   12864
Weight:   0.326kg
ISBN:  

9783030846282


ISBN 10:   3030846288
Pages:   195
Publication Date:   03 August 2021
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now