Chapter Two

Advances in Software Model Checking

Junaid H. Siddiqui; Affan Rauf; Maryam A. Ghafoor    Lahore University of Management Sciences, Lahore, Pakistan


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 ...

Get Advances in Computers now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.