This problem is being worked on but it is by no means solved! This paper [0] is a pretty decent survey on the field and [1] is an excellent article on the topi

This problem is being worked on but it is by no means solved! This paper [0] is a pretty decent survey on the field and [1] is an excellent article on the topic at a high level, written by a team currently working in the space (synthesising smart contracts). [0] https://arxiv.org/pdf/1802.02353.pdf https://arxiv.org/pdf/1802.02353.pdf [1] https://medium.com/@vidiborskiy/software-writes-software-program-synthesis-101-294a9a35177 https://medium.com/@vidiborskiy/software-writes-software-pro...