SAT-based bounded model checking for propositional projection temporal logic

DOI10.1016/J.TCS.2025.115368MaRDI QIDQ6956048zbMATH OpenFDO

Authors Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He

Publication date 21 July 2025

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

rate-monotonic schedulingbounded model checkingpropositional projection temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Computational aspects of satisfiability (68R07)

This page was built for publication: SAT-based bounded model checking for propositional projection temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6956048)