PDF:
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
| Title | Efficient Saturation-based Bounded Model Checking of Asynchronous Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Darvas, D., Vörös, A., and Bartha, T. |
| Editor | Kiss, Á. |
| Conference Name | 13th Symposium on Programming Languages and Software Tools (SPLST'13) |
| Date Published | 08/2013 |
| Publisher | University of Szeged |
| Conference Location | Szeged, Hungary |
| ISBN Number | 978-963-306-228-9 |
