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
|
Text
Darvas_573_3057496_ny.pdf Download (453kB) | Preview |
| 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: | 21 Jul 2019 14:09 |
| URI: | https://eprints.sztaki.hu/id/eprint/8939 |
 |
Update Item |
