Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker

Raimundo Barreto, Lucas Cordeiro, Bernd Fischer

Embedded systems are everywhere, from home appliances to critical systems such as medical devices. They usually have associated timing constraints that need to be verified for the…