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.