"Automated proof" means that the verification is automated. Actually automating the process of finding proofs is still mostly an open problem.
Formal proof software will help you on small stuff, but you will still do most of the work, and you have to go much more in details, so it takes much more time.
Formal proof software will help you on small stuff, but you will still do most of the work, and you have to go much more in details, so it takes much more time.