Verified Software Experiments

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=tBbOMCH6j5k


Duration: 1:27:42
49 views
0

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.



Other Videos By Microsoft Research


2016-08-16Turing and Darwin: Saving the environment by combining computation and human insight
2016-08-16Allocating Goods to Maximize Fairness
2016-08-16WORKSHOP: SAT/SMT Solvers
2016-08-16Sexy Types ΓÇô Are We Done Yet?
2016-08-16Algorithmic Market Design: Spectrum Sales and BitTorrent Communities
2016-08-16Computing Mistake-Exploiting Strategies in Very Large Zero-Sum Games
2016-08-16Closing Keynote Session on Open Source
2016-08-16TUTORIAL: Microsoft .NET Gadgeteer
2016-08-16Verified Computing Tools
2016-08-16Reconfigurable Computing Comes of Age
2016-08-16Verified Software Experiments
2016-08-16Cumulus and BlueSky: Migrating Enterprise Storage to the Cloud
2016-08-16Putting Real Tools in the Hands of Students
2016-08-16PANEL: Technologies for Natural User Interactions
2016-08-16Can technology and privacy be friends at last?
2016-08-16Data-driven Research at Web Scale
2016-08-16Data, Results, Myths and Software: the Road to Empirical Software Engineering
2016-08-16Bug and Malware Detection on a Web Scale
2016-08-16Natural User Interactions Supported by Human-Centric Computing
2016-08-16PANEL: Software Research Twenty Years On
2016-08-16The role of funding agencies and industrial research in promoting computing science education


Tags:
microsoft research