Predicate Abstraction and Such...
Lecture Notes in Computer Science(2018)
摘要
Predicate abstraction is only a facet of Susanne Graf's work, but an important and characteristic one. Aiming for the essence without being disrupted by 'syntactic sugar' appears like a red thread in her career, and it explains also her current vision for a contract-based composition of viewpoints. This paper sketches her accompanying associated keynote, as well as the nine papers of scientific relatives who came to FMICS for celebrating her 60th birthday.
更多查看译文
关键词
Verification,Tools,State explosion problem,Scalability,Compositionality,Interface specifications,Predicate abstraction,CEGAR,Viewpoints,Cyber-physical systems,Contracts,Refinement,Real time,Security,Communication protocols
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络