Text

Model Checking Software

---

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.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

-

Publisher

: ., 2015

Collation

XVIII, 319

Language

English

ISBN/ISSN

978-3-319-23403-8

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Software Engineering
Compilers and Interpreters,

Specific Detail Info

-

Statement of Responsibility

Bernd Fischer

Other Information

Cataloger

sara

Source

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment