DocumentCode :
2218038
Title :
An approach to verify concurrent object-oriented programs
Author :
Zangaraki, Shahrbanoo ; Rafeh, Reza
Author_Institution :
Dept. of Comput. Eng., Islamic Azad Univ., Khomein, Iran
Volume :
2
fYear :
2010
fDate :
20-22 Aug. 2010
Abstract :
Today, object-oriented methodologies are widely used for developing concurrent distributed systems. There are many well-known object-oriented methodologies and techniques to develop concurrent distributed systems. However, such systems are likely to have bugs. Hence, verification plays an important role in this context. In this paper we propose an approach to verify concurrent object-oriented programs using model checking. To do so, we employ the Bogor model checker. The concurrent programs are translated to BIR- the input language of Bogor- and Bogor performs the verification and shows the existing bugs, if there is any, through counter-examples.
Keywords :
concurrent engineering; distributed processing; object-oriented methods; object-oriented programming; program debugging; program verification; Bogor model checker; bugs; concurrent distributed system development; concurrent object-oriented program verification; model checking; object-oriented methodology; Hardware; Software; Synchronization; Bogor; Concurrency; Model Checking; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location :
Chengdu
ISSN :
2154-7491
Print_ISBN :
978-1-4244-6539-2
Type :
conf
DOI :
10.1109/ICACTE.2010.5579128
Filename :
5579128
Link To Document :
بازگشت