loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference On Quality Software
Behavioral Verification of Distributed Concurrent Systems with BOBJ
Dallas, Texas
November 06-November 07
ISBN: 0-7695-2015-4
ASCII Text
x 
 
Joseph Goguen, Kai Lin, "Behavioral Verification of Distributed Concurrent Systems with BOBJ," Quality Software, International Conference on, pp. 216, Third International Conference On Quality Software, 2003.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2003.1319106,
author = {Joseph Goguen and Kai Lin},
title = {Behavioral Verification of Distributed Concurrent Systems with BOBJ},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-2015-4},
pages = {216},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319106},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Behavioral Verification of Distributed Concurrent Systems with BOBJ
SN - 0-7695-2015-4
SP
EP
A1 - Joseph Goguen,
A1 - Kai Lin,
PY - 2003
KW - null
VL - 0
JA - Quality Software, International Conference on
ER -
 
Joseph Goguen, University of California at San Diego
Kai Lin, San Diego Supercomputer Center
Following a brief introduction to classical and behavioral algebraic specification, this paper discusses the verification of behavioral properties using BOBJ, especially its implementation of conditional circular coinductive rewriting with case analysis. This formal method is then applied to proving correctness of the alternating bit protocol, in one of its less trivial versions. We have tried to minimize mathematics in the exposition, in part by giving concrete illustrations using the BOBJ system.
Citation:
Joseph Goguen, Kai Lin, "Behavioral Verification of Distributed Concurrent Systems with BOBJ," qsic, pp.216, Third International Conference On Quality Software, 2003
Usage of this product signifies your acceptance of the Terms of Use.