Saturation algorithms for model-checking pushdown systems

被引：13
作者：
Carayol, Arnaud [1 ,2 ]
Hague, Matthew [3 ]
机构：
[1] Univ Paris Est, LIGM, Paris, France
[2] CNRS, Paris, France
[3] Royal Holloway Univ London, Dept Comp Sci, London, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 151期
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.4204/EPTCS.151.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 24
页数：24
相关论文
共 55 条
[31]  
Knapik T, 2005, LECT NOTES COMPUT SC, V3580, P1450
[32]  
La Torre S, 2007, IEEE S LOG, P161, DOI 10.1109/LICS.2007.9
[33]  
La Torre S, 2011, LECT NOTES COMPUT SC, V6901, P203, DOI 10.1007/978-3-642-23217-6_14
[34]  
Lal A, 2005, LECT NOTES COMPUT SC, V3576, P434
[35]  
Lal A, 2006, LECT NOTES COMPUT SC, V4144, P343, DOI 10.1007/11817963_32
[36]   MODELING AND VERIFICATION OF INFINITE SYSTEMS WITH RESOURCES [J].
Lang, Martin ;
Loeding, Christof .
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
[37]  
Maslov A.N, 1976, PROBL INFORM TRANSM, V15, P1170
[38]  
Qadeer S, 2008, LECT NOTES COMPUT SC, V5156, P3, DOI 10.1007/978-3-540-85114-1_2
[39]   Weighted pushdown systems and their application to interprocedural dataflow analysis [J].
Reps, T ;
Schwoon, S ;
Jha, S ;
Melski, D .
SCIENCE OF COMPUTER PROGRAMMING, 2005, 58 (1-2) :206-263
[40]  
Sakarovitch J., 2009, ELEMENTS AUTOMATA TH, DOI [10.1017/CBO9781139195218, DOI 10.1017/CBO9781139195218]
123456