@inproceedings{01d9fc842dc24dc2ba373a84acc0b0a3,
title = "A divide and conquer approach to model checking of liveness properties",
abstract = "An approach to making liveness model checking problems under fairness feasible is described. The proposed method divides such a problem into multiple smaller ones that can be conquered such that the former is derived from the latter. Since the proposed method does not need any specialized algorithms, it can use existing LTL model checkers such as Spin, SAL and Maude LTL model checker. The proposed method also lets (or helps) humans get better understanding of the reason why they need to use fairness assumptions.",
keywords = "Fairness, Liveness property, Model checking, State machine",
author = "Kazuhiro Ogata and Min Zhang",
year = "2013",
doi = "10.1109/COMPSAC.2013.104",
language = "英语",
isbn = "9780769549866",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "648--657",
booktitle = "Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013",
address = "美国",
note = "2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 ; Conference date: 22-07-2013 Through 26-07-2013",
}