Bounded Model Checking for Propositional Projection Temporal Logic

DOI10.1007/978-3-642-38768-5_52zbMath1382.68141OpenAlexW39854187MaRDI QIDQ4925273

Mengfei Yang, Zhenhua Duan, Jia He, Cong Tian

Publication date: 11 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38768-5_52

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Linear templates of ACTL formulas with an application to SAT-based verification ⋮ Bounded model checking of traffic light control system ⋮ PPTL specification mining based on LNFG

This page was built for publication: Bounded Model Checking for Propositional Projection Temporal Logic