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 |
