Verified Software Experiments

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.

©2011 Microsoft Corporation. All rights reserved.
  • SpeakerJim Woodcock, Rod Chapman, and Rajeev Joshi
  • HostJudith Bishop
  • AffiliationUniversity of York, Praxis High Integrity Systems Limited, NASA
  • Duration01:27:18
  • Date recorded14 April 2011
  • Share
    Share this page on Facebook
    Share this page on Twitter
    Share this page on LinkedIn
    E-mail this page
    RSS feeds