Automatic Formal Verification for EPICS

Jonathan Jacky,Stefani Banerian,Michael Ernst,Calvin Loncaric,Stuart Pernsteiner,Zachary Tatlock,Emina Torlak

16th Int. Conf. on Accelerator and Large Experimental Control Systems (ICALEPCS'17), Barcelona, Spain, 8-13 October 2017（2018）

引用 0|浏览4

暂无评分

摘要

We built an EPICS-based radiation therapy machine control program and are using it to treat patients at our hospital. To help ensure safety, the control program uses a restricted subset of EPICS constructs and programming techniques, and we developed several new automated formal verification tools for this subset.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要