文章基本信息

标题：Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
本地全文：下载
作者：Luca Aceto ; Francois Laroussinie
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1999
卷号：6
期号：32
出版社：Aarhus University
摘要：This paper studies the structural complexity of model checking for (variations on) the specification formalisms used in the tools CMC and Uppaal, and fragments of a timed alternation-free mu-calculus. For each of the logics we study, we characterize the computational complexity of model checking, as well as its specification and program complexity, using timed automata as our system model.