Saturation algorithms for model-checking pushdown systems
Résumé
We present a survey of the saturation method for model-checking pushdown systems.
Communication Dans Un Congrès
Année : 2014
Arnaud Carayol : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01806571
Soumis le : dimanche 3 juin 2018-17:31:19
Dernière modification le : jeudi 28 mars 2024-03:28:00
Citer
Arnaud Carayol, Matthew Hague. Saturation algorithms for model-checking pushdown systems. International Conference on Automata and Formal Languages (AFL 2014), May 2014, Szeged, Hungary. pp.1-24, ⟨10.4204/EPTCS.151.1⟩. ⟨hal-01806571⟩
Collections
44
Consultations
0
Téléchargements