Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, 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: 9783319234045
Publisher: Springer International Publishing Publication: August 26, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319234045
Publisher: Springer International Publishing
Publication: August 26, 2015
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

More books from Springer International Publishing

Cover of the book Integrated Analysis of Interglacial Climate Dynamics (INTERDYNAMIC) by
Cover of the book Stereotypes and Self-Representations of Women with a Muslim Background by
Cover of the book Cervical Spine by
Cover of the book Citizens, Europe and the Media by
Cover of the book State of Bound Water: Measurement and Significance in Food Processing by
Cover of the book Chromium Doped TiO2 Sputtered Thin Films by
Cover of the book Surgery of the Spine and Spinal Cord by
Cover of the book Confidentiality in Arbitration by
Cover of the book China Ethnic Statistical Yearbook 2016 by
Cover of the book Carbon Nanomaterials as Adsorbents for Environmental and Biological Applications by
Cover of the book Foundations and Practice of Security by
Cover of the book Evaluating Employee Performance through Christian Virtues by
Cover of the book Advances in Culturally-Aware Intelligent Systems and in Cross-Cultural Psychological Studies by
Cover of the book Applied Evaluative Informetrics by
Cover of the book New Developments in Statistical Modeling, Inference and Application 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