Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems
Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny · Fundamenta Informaticae · 2012
This paper makes two contributions to the verification of multi-agent systems modelled by interleaved interpreted systems. Firstly, the paper presents theoretical underpinnings of the SAT-based bounded model checking (BMC) approach for LTL extended w