The 3th Software Analysis and VErification seminar(SAVE) was held in Suzhou Institute for Advanced Study, University of Science and Technology of China in November 3, 2012 to November 4, 2012, organized by the USTC-Yale Joint Research Center for High-Confidence Software, School of Computer Science and Technology.
SAVE was first initiated and organized by the research professor ZHANG Jian from Institute of Software,CAS. SAVE’10 was held in Nanjing by the Software Engineering Research Group, School of Computer and Science, Nanjing University,and SAVE’11 was held in Changsha by the State Key Laboratory of Parallel and Distributed Processing, College of Computer, National University of Defense Technology. This seminar favors both the introduction of the published work and the communication of the ideas in the development. The feature that only the pure academic discussion is accessed and no conference proceedings is published is appreciated and warmly welcomed by the attendants. The seminar has become an important platform for the communication of the researchers whose interest is the software analysis and verification in china.
More than 150 professors, researchers and students from 26 distinguished universities and the research constitutes in China, as well as the famous enterprises like Intel china, HP shanghai and Coretek Systems etc, attended the seminar this year, almost covering all the main research groups in this area. 28 researchers reported their works. The number of the participants and the reports is the highest since its inception.
The major feature of the seminar this year was that the senior technical staffs engaging in the safety critical program analysis and verification in industry were invited to communicate with the researchers from the universities and the research academic institutes. Professor Mingyuan Zhu, the manager of the coretek systems, the professor of Beijing University of Aeronautics and Astronautics, was invited to give a talk entitled “the analysis and verification of the general-purpose embedded operating system”. Professor Mingyuan Zhu and the other two senior technical staffs in the field of aviation presented the status of the related software development and express the expectation for the formal verification technology and the worries for the rapid increase of the cost of the software development if the formal verification is considered. Through the communication between the staffs from the industry and the researchers from the academia, the researchers deeply realized the perspective of the program analysis and verification technology, and the distance between the research result and the practical demand in industry.
In addition, the participants exchange their opinions about the issues such as the communication form of the seminar, the selection of the seminar reports and the register fees concerning with the further seminars.
(Provided by USTC-Yale Joint Research Center for High-Confidence )
