PDF:
Component-wise Incremental LTL Model Checking
| Title | Component-wise Incremental LTL Model Checking |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I. |
| Journal | Formal Aspects of Computing |
| Volume | 28 |
| Issue | 3 |
| Pagination | 345-379 |
| Date Published | 05/2016 |
| Type of Article | Original Article |
| ISSN | 0934-5043 |
| Keywords | Component-wise abstraction, Incremental algorithm, LTL, saturation, SCC computation, Symbolic model checking |
| URL | http://petridotnet.inf.mit.bme.hu/publications/FAOC2015_MolnarEtAl.pdf |
| DOI | 10.1007/s00165-015-0347-x |
| Refereed Designation | Refereed |
