Molnár, Vince and Darvas, Dániel and Vörös, András and Bartha, Tamás (2015) Saturation-based incremental LTL model checking with inductive proofs. In: Tools and Algorithms for the Construction and Analysis of Systems,. Lecture Notes in Computer Science (9035). Springer, Berlin; Heidelberg, pp. 643-657. ISBN 978-3-662-46680-3
|
Text
TACAS2015_MolnarEtAl.pdf Download (1MB) | Preview |
Official URL: http://petridotnet.inf.mit.bme.hu/publications/TAC...
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 10 Jun 2015 14:19 |
| Last Modified: | 10 Jun 2015 14:19 |
| URI: | http://real.mtak.hu/id/eprint/24597 |
Actions (login required)
 |
Edit Item |
