Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations
CMC: a pragmatic approach to model checking real code