SAT-based BMC approach to Verifying Real-Time Properties of Multi-Agent Systems

Zbrzezny, AM; Zbrzezny, A

Zbrzezny, AM (reprint author), Univ Warmia & Mazury, Fac Math & Comp Sci, Olsztyn, Poland.

2018 IEEE/ACS 15TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2018; ():

Abstract

We present a SAT-based bounded model checking (BMC) method for timed interpreted systems (TIS) and for properties expressible in the existential fragm......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索