Algorithmic verification of procedural programs in the presence of code variability
详细信息 查看全文
- 作者：Siavash Soleimanifard ; siavashs@csc.kth.se" class="auth_mail" title="E-mail the corresponding author ; Dilian Gurov ; dilian@csc.kth.se" class="auth_mail" title="E-mail the corresponding author
- 关键词：Compositional verification ; Model checking ; Maximal models
- 刊名：Science of Computer Programming
- 出版年：2016
- 出版时间：1 October 2016
- 年：2016
- 卷：127
- 期：Complete
- 页码：76-102
- 全文大小：1317 K
文摘
- •
A generic framework for compositional verification of procedural programs is proposed.
- •
Three instantiations of the framework are developed.
- •
Various scenarios for dealing with code variability are presented.