The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

A tool used to test the Dawn and wgpu WebGPU APIs, and their respective WGSL compilers Tint and naga, by inputting WGSL code and validating outputs.

A tool used to generate random shaders in WebGPU Shading Language.