Deterministic symbolic execution, bound to the systems you already run.

The deep-dive architecture page is in development. For now, the full technical reference lives in the developer documentation.