Integrating Theories and Techniques for Program Modelling, Design and Verification Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge

摘要

This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.