Towards certifying domain-specific properties of synthesized code | IEEE Conference Publication | IEEE Xplore