Equipments for developing software synthesis methods

点击翻译按钮获取中文摘要

Programming is a tedious and error-prone task. A promising approach to obtain programs that are much more reliable and cheaper to develop and maintain consists in describing a system and its properties by using very high level formal languages. Then, robust synthesis algorithms make it possible to automatically generate programs from these descriptions, such as controllers for an industrial process, user interfaces and database queries. Up-to-date equipments are essential to sustain the research program about this topic carried out by the Software Engineering Research Group. They are required to develop software tools, particularly powerful interpreters and code generators, and evaluate formal synthesis methods in contexts for which hardware, software and operation conditions are similar to those encountered in industries or organizations.