A complete axiom system for propositional projection temporal logic with cylinder computation model
From MaRDI portal
Publication:896162
DOI10.1016/j.tcs.2015.05.007zbMath1332.68145WikidataQ114013034 ScholiaQ114013034MaRDI QIDQ896162
Nan Zhang, Zhenhua Duan, Cong Tian
Publication date: 11 December 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.05.007
verification; axiom system; model checking; specification; propositional projection temporal logic; cylinder computation model; multi-core parallel programs
Uses Software