PDF:
Bounded saturation-based CTL model checking
Title | Bounded saturation-based CTL model checking |
Publication Type | Journal Article |
Year of Publication | 2013 |
Authors | Vörös, A., Darvas, D., and Bartha, T. |
Journal | Proceedings of the Estonian Academy of Sciences |
Volume | 62 |
Start Page | 59 |
Issue | 1 |
Pagination | 12 |
Date Published | 03/2013 |
ISSN | 1736-6046 |
Keywords | bounded model checking, Computation Tree Logic, Multiple-valued Decision Diagram, saturation, temporal logic |
URL | http://www.kirj.ee/21908/?tpl=1061&c_tpl=1064 |
DOI | 10.3176/proc.2013.1.07 |
Refereed Designation | Unknown |