Component-wise Incremental LTL Model Checking

CímComponent-wise Incremental LTL Model Checking
Közlemény típusaJournal Article
Kiadás éve2016
SzerzőkMolnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I.
FolyóiratFormal Aspects of Computing
Kötet28
Kiadás3
Pagination345-379
Kiadás dátuma05/2016
Type of ArticleOriginal Article
ISSN0934-5043
KulcsszavakComponent-wise abstraction, Incremental algorithm, LTL, saturation, SCC computation, Symbolic model checking
URLhttp://petridotnet.inf.mit.bme.hu/publications/FAOC2015_MolnarEtAl.pdf
DOI10.1007/s00165-015-0347-x
Refereed DesignationRefereed