T
📝 描述
The company offers verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation techniques and static analysis of for C, C++ and Ada source code. [Commercial]
⭐ 用户评价
暂无评价