Preprint
An Efficient Explicit-time Description Method for Timed Model Checking
Abstract
Timed model checking, the method to formally verify real-time systems, is
attracting increasing attention from both the model checking community and the
Authors
Wang H; MacCaull W
Publication date
December 13, 2009
DOI
10.48550/arxiv.0912.2553
Preprint server
arXiv