Budget-bounded model-checking pushdown systems
Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Rezine, Othmane, Stenman, JariVolume:
45
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-014-0207-y
Date:
October, 2014
File:
PDF, 1004 KB
english, 2014