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 The Body in Professional Practice, Learning and Education by
Cover of the book What We Know About Extraterrestrial Intelligence by
Cover of the book Tropical Cyclone Activity over the North Indian Ocean by
Cover of the book Thomas Robert Malthus by
Cover of the book Pathogenesis of Periodontal Diseases by
Cover of the book Data Management Technologies and Applications by
Cover of the book International Symposium on Geodesy for Earthquake and Natural Hazards (GENAH) by
Cover of the book Insights on Environmental Changes by
Cover of the book Behind the Frontiers of the Real by
Cover of the book Robotic Grasping and Manipulation by
Cover of the book Boundary Blurred: A Seamless Customer Experience in Virtual and Real Spaces by
Cover of the book Electronic Structure of Quantum Confined Atoms and Molecules by
Cover of the book Autoethnographies on the Environment and Human Health by
Cover of the book Handbook of Contemporary Sociological Theory by
Cover of the book Lagrangian Oceanography 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