research
∙
03/22/2022
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
Pushdown systems (PDS) are known as an abstract model of recursive progr...
research
∙
10/23/2019