Can I read Reducing the Barriers to Writing Verified Specifications on EtoBox?

Reducing the Barriers to Writing Verified Specifications by Todd W. Schiller; Michael D. Ernst is a scholarly article available to read on EtoBox.

What is Reducing the Barriers to Writing Verified Specifications about?

Formally verifying a program requires significant skill not only because of complex interactions between program subcomponents, but also because of deficiencies in current verification interfaces. These skill barriers make verification economically unattractive by preventing the use of lessskilled (less-expensive) workers and distributed workflows (i.e., crowdsourcing).This paper presents VeriWeb, a web-based IDE for verification that decomposes the task of writing verifiable specifications into manageable subproblems. To overcome the information loss caused by task decomposition, and to reduce the skill required to verify a program, VeriWeb incorporates several innovative user interface features: drag and drop condition construction, concrete counterexamples, and specification inlining.To evaluate VeriWeb, we performed three experiments. First, we show that VeriWeb lowers the time and monetary cost of verification by performing a comparative study of VeriWeb and a traditional tool using 14 paid subjects contracted hourly from Exhedra Solution's vWorker online marketplace. Second, we demonstrate the dearth and insufficiency of current ad-hoc labor marketplaces for verification by r

Author

Todd W. Schiller; Michael D. Ernst

Publisher

ACM

Published

2012

Language

EN