# ZChecker

**URL:** https://1nfinite.ai/c/terapines-products/zchecker/12.md

[Latest](https://1nfinite.ai/latest.md) · [Categories](https://1nfinite.ai/categories.md) · [Tags](https://1nfinite.ai/tags.md)

---

## [About the ZChecker category](https://1nfinite.ai/t/about-the-zchecker-category/33)

<div class="topic-metadata">

**Author:** [@肠哒哒](https://1nfinite.ai/u/%E8%82%A0%E5%93%92%E5%93%92)\
**Replies:** 0

</div>

ZExplorer is a mode in our IDE that comes with built-in C/C++ static analyzer and formal verification tool, which helps to develop software complained to ISO26262. :wink: