3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 3 cited
Formal Verification, Engineering and Business Value
Ralf Huuck
How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a w…
cs.SE2012★ 1 cited
Proceedings Seventh Conference on Systems Software Verification
Franck Cassez, Ralf Huuck, Gerwin Klein +1
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 conferen…