Towards Automated Software Verification Using Model Checking Techniques
Somayeh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani · 2009
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.