{"version":"1.0","type":"link","title":"Program synthesis - Newikis","description":"In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}