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] 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: http://eprints.sztaki.hu/id/eprint/7643

Update Item Update Item