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
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;
Conference_Titel :
Computer Technology and Development, 2009. ICCTD '09. International Conference on
Conference_Location :
Kota Kinabalu
Print_ISBN :
978-0-7695-3892-1
DOI :
10.1109/ICCTD.2009.164
