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 A New Paradigm for Greek Agriculture by
Cover of the book Design Techniques for Mash Continuous-Time Delta-Sigma Modulators by
Cover of the book Smart Textiles by
Cover of the book Macroeconomic Policy by
Cover of the book The Rise of Managerial Bureaucracy by
Cover of the book Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017 by
Cover of the book Computational Science – ICCS 2018 by
Cover of the book Smart Education and e-Learning 2016 by
Cover of the book Advanced Mechatronics and MEMS Devices II by
Cover of the book Propagation Phenomena in Real World Networks by
Cover of the book Gender and Political Marketing in the United States and the 2016 Presidential Election by
Cover of the book Nanotechnology, Governance, and Knowledge Networks in the Global South by
Cover of the book ComMODify by
Cover of the book Optical Coherence Tomography by
Cover of the book The Washington State Census Board and Its Demographic Legacy 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