{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:27:07Z","timestamp":1740202027560,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"abstract":"<jats:p>Bounded model checking as a complementary approach to BDD based symbolic model checking applies satisfiability checking to the verification of temporal properties, especially, for efficient error detection. The successes of bounded model checking have led to extensive research on bounded semantics for various (fragments of) temporal logics such as ACTL, ECTL, and ACTL*. We in this paper further study AeCTL formulas (universal fragment of extended Computation Tree Logic) in light of bounded semantics. On the theoretical aspect, we propose a bounded correctness checking algorithm for AeCTL properties. On the practical aspect, we apply the bounded semantics of AeCTL to derive a SAT-based characterization of AeCTL properties.<\/jats:p>","DOI":"10.3233\/978-1-61499-828-0-326","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:27:24Z","timestamp":1740133644000},"source":"Crossref","is-referenced-by-count":0,"title":["Bounded Correctness Checking of the Universal Fragment of eCTL"],"prefix":"10.3233","author":[{"family":"Pu Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhang Wenhui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Fuzzy Systems and Data Mining III"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:56:46Z","timestamp":1740135406000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-61499-827-3&spage=326&doi=10.3233\/978-1-61499-828-0-326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-828-0-326","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}