PDF:
Component-wise Incremental LTL Model Checking
| Cím | Component-wise Incremental LTL Model Checking |
| Közlemény típusa | Journal Article |
| Kiadás éve | 2016 |
| Szerzők | Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I. |
| Folyóirat | Formal Aspects of Computing |
| Kötet | 28 |
| Kiadás | 3 |
| Pagination | 345-379 |
| Kiadás dátuma | 05/2016 |
| Type of Article | Original Article |
| ISSN | 0934-5043 |
| Kulcsszavak | 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 |
