A Layered and Parallelized Method of Eventual Model Checking
A Layered and Parallelized Method of Eventual Model Checking
About this item
Full title
Author / Creator
Publisher
Basel: MDPI AG
Journal title
Language
English
Formats
Publication information
Publisher
Basel: MDPI AG
Subjects
More information
Scope and Contents
Contents
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the state space explosion in model checking. The idea of the technique is to split an original model c...
Alternative Titles
Full title
A Layered and Parallelized Method of Eventual Model Checking
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_doaj_primary_oai_doaj_org_article_aca30735bff9493ba6068b83cb477fc2
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_doaj_primary_oai_doaj_org_article_aca30735bff9493ba6068b83cb477fc2
Other Identifiers
ISSN
2078-2489
E-ISSN
2078-2489
DOI
10.3390/info14070384
