Chapter Two
Advances in Software Model Checking
Junaid H. Siddiqui; Affan Rauf; Maryam A. Ghafoor Lahore University of Management Sciences, Lahore, Pakistan
Abstract
Society is becoming increasingly dependent on software which results in an increasing cost of software malfunction. At the same time, software is getting increasingly complex and testing and verification are becoming harder and harder. Software model checking is a set of techniques to automatically check properties in a model of the software. The properties can be written in specialized languages or be embedded in software in the form of exceptions or assertions. The model can be explicitly provided in a specification language, can be derived from the software system, or ...
