Bounded Model Checking for Probabilistic Computation Tree Logic

Autor:	Cong-Hua Zhou, Chang-Da Wang, Zhi-Feng Liu
Rok vydání:	2012
Předmět:	Event tree Model checking Computation tree logic Theoretical computer science Computer science Bounded function Probabilistic CTL Abstraction model checking Fair computational tree logic Software
Zdroj:	Journal of Software. 23:1656-1668
ISSN:	1000-9825
DOI:	10.3724/sp.j.1001.2012.04089
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c5b642856e5d389feecb13b2c7825727 https://doi.org/10.3724/sp.j.1001.2012.04089 Zobrazit plný text záznamu