On the verification of SCOOP programs

详细信息    查看全文

• 作者：Georgiana Caltais^a ; ^b ; ^{gcaltais@gmail.com} ; Bertrand Meyer^a ; ^c ; ^{bertrand.meyer@inf.ethz.ch}
• 关键词：SCOOP ; Operational semantics ; Alias analysis ; Deadlock detection ; Rewriting logic
• 刊名：Science of Computer Programming
• 出版年：2017
• 出版时间：1 January 2017
• 年：2017
• 卷：133
• 期：part_P2
• 页码：194-215
• 全文大小：692 K
• 卷排序：133

文摘

Rewriting Logic is an appealing framework for both the specification and verification of systems. Verification techniques strongly depend on the underlying concurrency model. Implementation decisions can have a strong impact on the performance of the analysis tools.