Improving Saturation-based Bounded Model Checking

Darvas, Dániel and Vörös, András and Bartha, Tamás (2016) Improving Saturation-based Bounded Model Checking. ACTA CYBERNETICA-SZEGED, 22 (3). pp. 573-589. ISSN 0324-721X 10.14232/actacyb.22.3.2016.2

[img] Text
Darvas_573_3057496_ny.pdf

Download (453kB)
Item Type: Article
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: 17 Jan 2017 08:40
Last Modified: 17 Jan 2017 08:40
URI: http://eprints.sztaki.hu/id/eprint/8939

Update Item Update Item