Saturation algorithms for model-checking pushdown systems
| Autor: | Arnaud Carayol, Matthew Hague |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 151, Iss Proc. AFL 2014, Pp 1-24 (2014) |
| Druh dokumentu: | article |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/EPTCS.151.1 |
| Popis: | We present a survey of the saturation method for model-checking pushdown systems. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|