At Applied Formal Methods our goal is the help our customers produce verifiably correct software.