Saturation-based incremental LTL model checking with inductive proofs
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 10.1007/978-3-662-46681-0_58
|
Text
Molnar_643_2893150_ny.pdf Download (1MB) | Preview |
Official URL: http://petridotnet.inf.mit.bme.hu/publications/TAC...
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Divisions: | Systems and Control Lab |
| SWORD Depositor: | MTMT Injector |
| Depositing User: | MTMT Injector |
| Date Deposited: | 11 Jan 2016 17:30 |
| Last Modified: | 11 Jan 2016 17:30 |
| URI: | https://eprints.sztaki.hu/id/eprint/8438 |
 |
Update Item |
