Research directions in software analysis, synthesis and certification

A view of research directions relevant to producing reliable and useful software systems is presented, identified for achieving improvements in software quality via formalization and computer aid for software analysis, synthesis, and certification tasks at all states of software development and evolution.