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

[img]
Preview
Text
Molnar_643_2893150_ny.pdf

Download (1MB) | Preview
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: http://eprints.sztaki.hu/id/eprint/8438

Update Item Update Item