Proceedings Seventh Conference on Systems Software Verification
Abstract
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conference series is to bring together researchers and developers from both academia and industry who are facing real software and real problems with the goal of finding real, applicable solutions.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2012
- DOI:
- 10.48550/arXiv.1211.5873
- arXiv:
- arXiv:1211.5873
- Bibcode:
- 2012arXiv1211.5873C
- Keywords:
-
- Computer Science - Software Engineering;
- Computer Science - Logic in Computer Science;
- D.2.4
- E-Print:
- EPTCS 102, 2012