Program synthesis is possibly a way to future software development – thanks to its automation and guarantee of correctness-by-construction. Although it is a leading research field in programming languages, many people have already benefit from the mechanism, including end users, developers, researches, educators and learners. This talk comprises three parts:
Here are the links to the demonstration artifacts:
This talk is a given as an advanced lecture in the course Modeling and Verification of Software Systems I, 2019 Spring. The attached video is in Chinese, 1.4 G, downloaded via cloud.tsinghua.