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: |