A new model for model checking: cycle-weighted Kripke structure
type: Item
instance of: scholarly article
title: A new model for model checking: cycle-weighted Kripke structure
zbMATH Open document ID: 1267.68148
author: Jiaqi Zhu
author: Hanpin Wang
author: Zhongyuan Xu
author: Chunxiang Xu
published in: Frontiers of Computer Science in China
publication date: 2013-07-04T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6183807
zbMATH Keywords: model checking
zbMATH Keywords: Kripke structure
zbMATH Keywords: weighted cycles
zbMATH Keywords: computation tree logic (CTL)
MaRDI profile type: Publication
full work available at URL: s11704-009-0066-7
OpenAlex ID: W2023733779
cites work: Q4036557
cites work: A theory of timed automata
cites work: Model-checking in dense real-time
cites work: Efficient timed model checking for discrete-time systems
cites work: On the expressivity and complexity of quantitative branching-time temporal logics
cites work: Q4037378
DOI: 10.1007/S11704-009-0066-7
Recommended article: Q4737005
Recommended article: Q5368012
Recommended article: Q4501683
Recommended article: Q4738231
Recommended article: Bounded Model Checking for Partial Kripke Structures
Recommended article: Q4584892
Recommended article: Model checking for a class of weighted automata
Recommended article: Constraining cycle alternations in model checking for interval temporal logic
Recommended article: Q3023539
description: scientific article; zbMATH DE number 6183807