Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
复制标题
开发实用的反应合成工具：经验和教训
DOI：
10.4204/eptcs.229.8
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Adam Walker
中科院分区：
文献类型：
--
作者：
L. Ryzhyk;Adam Walker
我们总结了我们的经验，开发和使用白蚁，第一个反应合成工具，旨在使用软件开发从业者。我们确定的主要障碍，使反应合成软件开发人员和描述的关键功能，白蚁旨在克服这些障碍，包括一个强制性的C类规范语言，交互式源代码级调试器，和用户引导的代码生成器。根据我们应用Termite来合成真实世界的反应软件的经验，我们确定了反应合成技术的实际使用的几个注意事项。我们希望这些发现将有助于确定议程，为未来的研究实际的反应合成。
We summarise our experience developing and using Termite, the first reactive synthesis tool intended for use by software development practitioners. We identify the main barriers to making reactive synthesis accessible to software developers and describe the key features of Termite designed to overcome these barriers, including an imperative C-like specification language, an interactive source-level debugger, and a user-guided code generator. Based on our experience applying Termite to synthesising real-world reactive software, we identify several caveats of the practical use of the reactive synthesis technology. We hope that these findings will help define the agenda for future research on practical reactive synthesis.
自动验证活动设备驱动程序
DOI：
10.1145/2626401.2626424
发表时间：
2014
期刊：
ACM SIGOPS Operating Systems Review
影响因子：
--
作者：
Amani S
通讯作者：
Amani S
DOI：
10.1007/978-3-642-33365-1_9
发表时间：
2012
期刊：
影响因子：
--
作者：
R. Dimitrova;B. Finkbeiner
通讯作者：
B. Finkbeiner