Welcome to the Formula Factory!

We deliver source code written to your specifications. We particularly specialize in concurrent/multicore/embedded C code.

What makes us different?

Unlike other software shops, we deliver correct code, and stand behind that promise.

How do we do it?

We specialize in verified software - software that has been mathematically proved to meet its functional specifications.

Because it is verified, our software comes with an unconditional warranty that it meets its specifications.

We do not think that you will ever find a bug in our software, but if you do, we will fix it promptly and pay a bounty of $5000 per bug to the first discoverer.

We are the only software shop that provides such strong guarantees.

We can also verify software written by you, or provide code review for your architecture/algorithms/software.

Who are we?

Our staff consists entirely of verification expats from Bellcore, Microsoft, and Penn, including former Microsoft researchers, software architects, test architects, and verification architects.

It includes members from three IFIP formal methods working groups.

Contact

If you are interested in our services, please contact us at sales@verifiedSoftware.org