Tsinghua University Press Ltd. - Reduction and simplification of explicit LTL model checking via an abstraction method

Author(s): Junbo Sun ; Guiming Luo
Publisher: Tsinghua University Press Ltd.
Publication Date: 1 February 2009
Volume: 14
Page(s): 90 - 94
ISSN (Electronic): 1007-0214
DOI: 10.1016/S1007-0214(09)70012-4

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces... View More