A Transformation from PPTL to S1S

DOI10.1007/978-3-642-17461-2_30zbMath1310.68146OpenAlexW1490701562MaRDI QIDQ3066472

Cong Tian, Zhenhua Duan

Publication date: 10 January 2011

Published in: Combinatorial Optimization and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17461-2_30

zbMATH Keywords

verificationdecidabilitypropositional projection temporal logicpropositional interval temporal logicS1S

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

This page was built for publication: A Transformation from PPTL to S1S