Symbolic Model Checking for Alternating Projection Temporal Logic

DOI10.1007/978-3-319-26626-8_35zbMath1473.68108OpenAlexW2401238142MaRDI QIDQ3467865

Zhenhua Duan, Haiyang Wang, Cong Tian

Publication date: 5 February 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-26626-8_35

zbMATH Keywords

verificationsymbolic model checkingOBDDalternating projection temporal logicinterpreted system

Mathematics Subject Classification ID

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

Uses Software

• MCMAS
• MOCHA

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Completeness of temporal logics over infinite intervals.
• A decision procedure for propositional projection temporal logic with infinite models
• A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
• Alternating-time temporal logic
• Graph-Based Algorithms for Boolean Function Manipulation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Symbolic Model Checking for Alternating Projection Temporal Logic