Saturation algorithms for model-checking pushdown systems
Résumé
We present a survey of the saturation method for model-checking pushdown systems.
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 : samedi 27 avril 2024-03:13:14