Spatio-temporal Models for Formal Analysis and Property-based Testing.
STAF Workshops(2016)
摘要
This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedence mismatch between formal methods and practicioners. We introduce a set of formal methods and explain their interplay and benefits in terms of usability.
更多查看译文
关键词
Formal Method,Specification Formula,Impedance Mismatch,Cache Coherence Protocol,Duration Calculus
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要