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
Regular:

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

Advertisement