systems personal training formal methods formal method security quality assurance computer security control personal trainers in aurora equipment use case exercise testing colorado software verification personal trainer personal trainers in colorado kettlebells in colorado fitness kettlebells in denver reliability outdoor fitness denver