You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is IEEE sponsored project which targets to make a software reliability language which can predict the reliability of an embedded system based on a probabilistic model . In this sectio, I have made an API named RelSpec which will take any relspec file and generate the corresponding C file.(using flex and bison and c)
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.