loading...
Symbolic Model Checking APSL
June 17-June 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2008.242008 2nd IFIP/IEEE International Symp ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, "Symbolic Model Checking APSL," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 39-46, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2008.24,
author = {Wanwei Liu and Ji Wang and Huowang Chen and Xiaodong Ma},
title = {Symbolic Model Checking APSL},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3249-3},
pages = {39-46},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - Symbolic Model Checking APSL
SN - 978-0-7695-3249-3
SP39
EP46
A1 - Wanwei Liu,
A1 - Ji Wang,
A1 - Huowang Chen,
A1 - Xiaodong Ma,
PY - 2008
KW - PSL
KW - Symbolic model checking
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
PSL is a kind of temporal logic which uses SEREs as additional formula constructs. We present a variant of PSL, namely APSL, which replaces SEREs with finite automata. APSL and PSL are of the exactly same expressiveness. In this paper, we extend the LTL symbolic model checking algorithm??to that of APSL, and present a tableau based APSL verification approach. Moreover, we show how to implement this algorithm via the BDD based symbolic approach.
Index Terms:
PSL, Symbolic model checking
Citation:
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, "Symbolic Model Checking APSL," tase, pp.39-46, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008
Usage of this product signifies your acceptance of the Terms of Use.