CISE/SHF:Workshop on Usable Verification

形式验证技术在过去的二十年里取得了重大进展。 像模型检查和定理证明这样的技术现在在硬件和软件行业都有应用。 目前的研究集中在增加这项技术的规模和表现力。这项技术面临的最大挑战是让更广泛的受众更容易使用它。 这需要强大的自动化、更多的集成、更好的用户界面以及更深入地嵌入设计工具。 为了应对这些挑战，将于2010年11月15日和16日在雷德蒙的微软研究院举办为期两天的可用性验证研讨会。 这将是一系列讲习班中的第一个，旨在建立一个关注核查技术可用性问题的社区。

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.