Min-max event-triggered computation tree logic

DOI10.1007/BF02717182zbMath1009.68073OpenAlexW2041542700MaRDI QIDQ1847543

Jatindra Kumar Deka, Pallab Dasgupta, Partha Pratim Chakrabarti

Publication date: 1 May 2003

Published in: Sādhanā (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02717182

zbMATH Keywords

timing verificationtemporal query languagecomputational tree logictemporal logic model-checking

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Model-checking in dense real-time
• Real-time logics: Complexity and expressiveness
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A really temporal logic
• Min-max Computation Tree Logic

This page was built for publication: Min-max event-triggered computation tree logic