@article{733854,
      note = {International conference proceedings.},
      author = {Fischer, Bernd, and Geldenhuys, Jaco,},
      url = {http://library.usi.edu/record/733854},
      title = {Model checking software 22nd International Symposium, SPIN  2015, Stellenbosch, South Africa, August 24-26, 2015,  Proceedings / [electronic resource] :. International SPIN  Workshop},
      abstract = {This book constitutes the refereed proceedings of the 21st  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.},
      doi = {https://doi.org/10.1007/978-3-319-23404-5},
      recid = {733854},
      pages = {1 online resource (xviii, 319 pages) :},
}