Runtime Verification is a startup company focused on runtime verification approaches for the improvement of software systems.