A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
About this item
Full title
Author / Creator
Publisher
Beijing: Higher Education Press
Journal title
Language
English
Formats
Publication information
Publisher
Beijing: Higher Education Press
Subjects
More information
Scope and Contents
Contents
This paper proposes an approach to making liveness model checking problems under fairness feasible. The proposed method divides such a problem into smaller ones that can be conquered. It is not superior to existing tools dedicated to model checking liveness properties under fairness assumptions in terms of model checking performance but has the fol...
Alternative Titles
Full title
A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2918720956
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2918720956
Other Identifiers
ISSN
2095-2228
E-ISSN
2095-2236
DOI
10.1007/s11704-017-7036-2
