Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software. It was founded by Dr. David Crocker in 1995 to research and develop leading-edge software development technology with the aim of raising the quality and reliability of software products to a level where even minor software bugs are an exceptional occurrence rather than the norm.