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 条
[1]  
[Anonymous], 2013, P FSTTCS LIPICS
[2]   MODEL-CHECKING OF ORDERED MULTI-PUSHDOWN AUTOMATA [J].
Atig, Mohamed Faouzi .
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
[3]  
Ball T, 2000, LECT NOTES COMPUT SC, V1885, P113
[4]   A Decade of Software Model Checking with SLAM [J].
Ball, Thomas ;
Levin, Vladimir ;
Rajamani, Sriram K. .
COMMUNICATIONS OF THE ACM, 2011, 54 (07) :68-76
[5]  
Bar-Hillel Y., 1961, PHONETIK SPRACHWISS, V14
[6]   ON THE COMPLEXITY OF SOME EXTENDED WORD-PROBLEMS DEFINED BY CANCELLATION RULES [J].
BENOIS, M ;
SAKAROVITCH, J .
INFORMATION PROCESSING LETTERS, 1986, 23 (06) :281-287
[7]  
BENOIS M, 1969, CR ACAD SCI A MATH, V269, P1188
[8]  
Bouajjani A, 1997, LECT NOTES COMPUT SC, V1243, P135
[9]  
Bouajjani A, 2004, LECT NOTES COMPUT SC, V3328, P135
[10]  
Broadbent C.H., 2013, PROC 22 EACSL C COMP, V23, P129, DOI DOI 10.4230/LIPICS.CSL.2013.129
123456