the CDK uses Cloudformation under the hood! It's just a programmatic way to use cloudformation. They're one in the same, atleast the way I use it / Amazon uses it (And I'm pretty sure Amazon uses it correctly as they literally wrote it!)