Informal Systems apply a multi-layered, automated approach to our security audits for the blockchain ecosystem. Under the guidance of leading researchers in protocol design, verification, and testing, we leverage our formal verification techniques and tools -- including Quint specification language, Apalache model checker, or Atomkraft E2E testing tool -- to make distributed systems secure and resilient.
You may read more about our approach at the Security Services page.