Proceedings Seventh Conference on Systems Software Verification
Franck Cassez (NICTA), Ralf Huuck (NICTA, UNSW), Gerwin Klein, (NICTA, UNSW), Bastian Schlich (ABB)
TL;DR
The paper compiles research from the 7th Systems Software Verification Conference, focusing on practical verification techniques for real-world software challenges, fostering collaboration between academia and industry.
Contribution
It presents a collection of recent research papers that address real software verification problems, emphasizing practical solutions and industry relevance.
Findings
Enhanced verification methods for complex systems
Successful application of verification techniques in industrial settings
Identification of key challenges in 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.