Verified Software Experiments

Опубликовано 17 августа 2016, 1:33

The Verified Software Initiative (VSI) aims at software industry embracing verification and verification technology throughout the software life-cycle. Industry requires mature tools, experienced engineers, and calculable risk assessments. Experiments are key drivers of the VSI, because they play a vital role to supply industry with data about the maturity of a proposed method. Scientific applications always precede industrial adoption, and experiments are typically conducted by scientists. A goal of the VSI is to provide a repository of objective and realistic case studies that will enable industry to take informed decisions on the viability of verification technology. The session ΓÇ£Verified Software ExperimentsΓÇ¥ focuses on the transition from laboratory experiments to broader adoption by industry. This session shall give insights in results of such experiments.