Runtime Verification is a startup company whose primary expertise lies in using runtime verification-based techniques to perform security audits. In addition, we perform traditional code review audits and we build and maintain developer tools such as Kontrol and Simbolik to help developers write more secure smart contracts.