The world of software creation is undergoing a profound transformation thanks to AI-powered tools. These innovative technologies are streamlining workflows, from writing programs to verifying and implementation . This marks a new era where engineers can dedicate on strategic problems, leading to