Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
Darvas, Dániel and Vörös, András and Bartha, Tamás (2013) Efficient Saturation-based Bounded Model Checking of Asynchronous Systems. In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.
![[img]](https://eprints.sztaki.hu/style/images/fileicons/text.png) |
Text
Darvas_259_2442428_ny.pdf Download (469kB) |
| Item Type: | Conference or Workshop Item (-) |
|---|---|
| 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 |
| Depositing User: | EPrints Admin |
| Date Deposited: | 05 Feb 2014 12:32 |
| Last Modified: | 05 Feb 2014 15:46 |
| URI: | https://eprints.sztaki.hu/id/eprint/7643 |
 |
Update Item |
