We deliver source code written to your specifications. We particularly specialize in concurrent/multicore/embedded C code.
Unlike other software shops, we deliver correct code, and stand behind that promise.
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.
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.
If you are interested in our services, please contact us at sales@verifiedSoftware.org