PDF:
Saturation-based Incremental LTL Model Checking with Inductive Proofs
| Title | Saturation-based Incremental LTL Model Checking with Inductive Proofs |
| Publication Type | Book Chapter |
| Year of Publication | 2015 |
| Authors | Molnár, V., Darvas, D., Vörös, A., and Bartha, T. |
| Editor | Baier, C., and Tinelli, C. |
| Book Title | Tools and Algorithms for the Construction and Analysis of Systems |
| Series Title | Lecture Notes in Computer Science |
| Volume | 9035 |
| Pagination | 643-657 |
| Publisher | Springer |
| ISBN | 978-3-662-46680-3 |
| URL | http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_58 |
| DOI | 10.1007/978-3-662-46681-0_58 |
| Refereed Designation | Refereed |
