Title :
Towards Automated Software Verification Using Model Checking Techniques
Author :
Asadollahi, Somayeh ; Rafe, Vahid ; Rafeh, Reza ; Rahmani, Adel T.
Author_Institution :
Comput. Eng. Dept., Islamic Azad Univ., Tehran, 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 a solution to verify software models which formally specified by layered graph transformation systems using a model checker called Bogor.
Keywords :
fuzzy reasoning; graph grammars; program debugging; program verification; graph transformation system; model checking; software artifact; software model; software verification; viable solution; Computer bugs; Control systems; Data structures; Design engineering; Implants; Software design; Software engineering; Software systems; Software tools; State-space methods; AGG; Bogor; LTL; Layered Graph Transformation Systems; Model Checking;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.40
