DocumentCode
507182
Title
Towards Automated Software Verification and Validation
Author
Asadollahi, Somayeh ; Rafe, Vahid ; Rafeh, Reza
Author_Institution
Branch of Malayer, Dept. of Comput. Eng., Islamic Azad Univ., Malayer, Iran
Volume
1
fYear
2009
fDate
13-15 Nov. 2009
Firstpage
206
Lastpage
210
Abstract
Today, it´s an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present an efficient solution to verify software models which formally specified by layered graph transformation systems - special types of graph transformation systems - using a model checker called Bogor.
Keywords
graph grammars; program verification; Bogor; automated software validation; automated software verification; layered graph transformation systems; model checking; software artifacts; Airports; Computer bugs; Design engineering; Implants; Power engineering and energy; Power system modeling; Software design; Software systems; Software tools; Usability; AGG; Bogor; LTL; Layered Graph Transformation Systems; Model Checking;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Technology and Development, 2009. ICCTD '09. International Conference on
Conference_Location
Kota Kinabalu
Print_ISBN
978-0-7695-3892-1
Type
conf
DOI
10.1109/ICCTD.2009.164
Filename
5359770
Link To Document