PDF:
Saturation-based Incremental LTL Model Checking with Inductive Proofs
| Cím | Saturation-based Incremental LTL Model Checking with Inductive Proofs |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2015 |
| Szerzők | Molnár, V., Darvas, D., Vörös, A., and Bartha, T. |
| Szerkesztő | Baier, C., and Tinelli, C. |
| Könyvcím | Tools and Algorithms for the Construction and Analysis of Systems |
| Sorozatcím | Lecture Notes in Computer Science |
| Kötet | 9035 |
| Pagination | 643-657 |
| Kiadó | 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 |
