Automated domain-specific C verification with mbeddr

  title={Automated domain-specific C verification with mbeddr},
  author={Zaur Molotnikov and Markus V{\"o}lter and Daniel Ratiu},
When verifying C code, two major problems must be addressed. One is the specification of the verified systems properties, the other one is the construction of the verification environment. Neither C itself, nor existing C verification tools, offer the means to efficiently specify application domain-level properties and environments for verification. These two shortcomings hamper the usability of C verification, and limit its adoption in practice. In this paper we introduce an approach that… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 10 extracted citations


Publications referenced by this paper.
Showing 1-5 of 5 references

PACEMAKER System Specification,

S.Q.R.L. Boston Scientific
View 10 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…