Bounded saturation-based CTL model checking

TitleBounded saturation-based CTL model checking
Publication TypeJournal Article
Year of Publication2013
AuthorsVörös, A., Darvas, D., and Bartha, T.
JournalProceedings of the Estonian Academy of Sciences
Volume62
Start Page59
Issue1
Pagination12
Date Published03/2013
ISSN1736-6046
Keywordsbounded model checking, Computation Tree Logic, Multiple-valued Decision Diagram, saturation, temporal logic
URLhttp://www.kirj.ee/21908/?tpl=1061&c_tpl=1064
DOI10.3176/proc.2013.1.07
Refereed DesignationUnknown
PDF: