TOS2cprover
Static analyzer and code translator from nesC (network embedded C, the language of TinyOS, an embedded OS from Berkeley) to ANSI C, for use with an ANSI C model checker for assertion specifications
Static analyzer and code translator from nesC (network embedded C, the language of TinyOS, an embedded OS from Berkeley) to ANSI C, for use with an ANSI C model checker for assertion specifications