Towards Automated Software Verification Using Model Checking Techniques

Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani

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.