CISE/SHF:Workshop on Usable Verification

点击翻译按钮获取中文摘要

Workshop on Usable VerificationFormal verification technology has made significant advances in the last two decades. Techniques like model checking and theorem proving are now used in both the hardware and software industries. Current research is focused on increasing the scale and expressiveness of this technology. The biggest challenge facing this technology is in making it more accessible to a wider audience. This requires powerful automation, more integration, better user interfaces, and deeper embedding into design tools. To address these challenges, a two-day workshop on Usable Verification will be held at Microsoft Research in Redmond during November 15 and 16, 2010. This will be the first of a series of workshops aimed at building a community that is focused on usability issues in verification technology.