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 Governing Sourcing Relationships. A Collection of Studies at the Country, Sector and Firm Level by
Cover of the book Concise Catalog of Deep-Sky Objects by
Cover of the book Minimal English for a Global World by
Cover of the book Advanced Applications of Natural Language Processing for Performing Information Extraction by
Cover of the book Charge-Trapping Non-Volatile Memories by
Cover of the book Mycorrhiza - Eco-Physiology, Secondary Metabolites, Nanomaterials by
Cover of the book Photonics by
Cover of the book Geometric Science of Information by
Cover of the book Against Plagiarism by
Cover of the book Practitioner's Guide to Ethics and Mindfulness-Based Interventions by
Cover of the book Tadeusz Kotarbiński’s Action Theory by
Cover of the book Valuing Detroit’s Art Museum by
Cover of the book Vulnerable Children and Youth in Brazil by
Cover of the book A Readable Introduction to Real Mathematics by
Cover of the book Evaluating Factors Controlling Damage and Productivity in Tight Gas Reservoirs 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