S. Faulk;C. Heitmeyer
-;-
Model checking DSL-generated c source code
SPIN'12 Proceedings of the 19th international conference on Model Checking Software