A primer on model checking

Abstract

40 acm Inroads 2010 March • Vol. 1 • No. 1 Model checking is a widely used formal method for the verifi cation of concurrent programs. This article starts with an introduction to the concepts of model checking, followed by a description of Spin, one of the foremost model checkers. Software tools for teaching concurrency and nondeterminism using model… (More)

Topics

2 Figures and Tables

Slides referencing similar topics