Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Model Checking Software by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319325828
Publisher: Springer International Publishing Publication: April 7, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319325828
Publisher: Springer International Publishing
Publication: April 7, 2016
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.

The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.

The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.

More books from Springer International Publishing

Cover of the book Strain Variation in the Mycobacterium tuberculosis Complex: Its Role in Biology, Epidemiology and Control by
Cover of the book Architecture of Computing Systems – ARCS 2019 by
Cover of the book Centromeres and Kinetochores by
Cover of the book Big Data Optimization: Recent Developments and Challenges by
Cover of the book Sport Entrepreneurship by
Cover of the book Lung Stem Cells in the Epithelium and Vasculature by
Cover of the book Young People and Social Control by
Cover of the book Agent-Based Modelling in Population Studies by
Cover of the book Basic Principles of Topography by
Cover of the book Privacy and Identity Management for the Future Internet in the Age of Globalisation by
Cover of the book The Patent Medicines Industry in Georgian England by
Cover of the book From Arithmetic to Zeta-Functions by
Cover of the book Smart Cities by
Cover of the book The World’s Urban Forests by
Cover of the book Sustainable Operations Management by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy