Introduction

Fuzz.ai is an early-stage startup dedicated to making software correctness tools easier to use.

Fuzzers, model checkers, and property-based testing can make software more robust, expose security vulnerabilities, and speed development. Our goal is to make these tools a part of the everyday software development process.

These tools find real bugs, as demonstrated in our inaugural article on the Steem blockchain implementation: "Finding bugs in the Steem blockchain with Fuzz testing" and some follow-up work we'll be publishing soon on Steem and other blockchain vulnerabilities.

While we build the team and the service, we’ll publish articles demonstrating software correctness tools, illustrated on real software with real results. We’ll share our ideas and experiments with you as we figure out how to unlock the power of software correctness tools for every developer. We'll also keep you updated on new research in the area, informative articles, and security vulnerabilities that others have discovered.

You can follow us here on Steem, on Medium, on Twitter, or sign up for our mailing list at http://www.fuzz.ai.