loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth Asia-Pacific Software Engineering Conference (APSEC'01)
Model Checking Object-Z Classes: Some Experiments with FDR
Macao, China
December 04-December 07
ISBN: 0-7695-1408-1
ASCII Text
x 
 
Geoff Kassel, Graeme Smith, "Model Checking Object-Z Classes: Some Experiments with FDR," Asia-Pacific Software Engineering Conference, pp. 445, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2001.991513,
author = {Geoff Kassel and Graeme Smith},
title = {Model Checking Object-Z Classes: Some Experiments with FDR},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2001},
isbn = {0-7695-1408-1},
pages = {445},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991513},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Model Checking Object-Z Classes: Some Experiments with FDR
SN - 0-7695-1408-1
SP
EP
A1 - Geoff Kassel,
A1 - Graeme Smith,
PY - 2001
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned with preserving the semantics of the original specification, but also with how efficiently the resulting specification can be model checked. Hence, the paper investigates alternative translation schemes and compares how efficiently the resulting specifications can be checked.
Citation:
Geoff Kassel, Graeme Smith, "Model Checking Object-Z Classes: Some Experiments with FDR," apsec, pp.445, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.