Brief Announcement: Extracting Models From Design Documents With Mapster
PODC(2008)
摘要
We cannot apply PODC methodologies to industrial designs without formal models of the designs. Formal models are usually hard to find. We have built a tool that extracts formal models directly from design documents.
更多查看译文
关键词
Industrial Design,Models,Verification
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络