Saturation algorithms for model-checking pushdown systems
published by EPTCS
in 2014
in Informatics Engineering
and research's language is
English
Download
Abstract in English
We present a survey of the saturation method for model-checking pushdown systems.
Download