A Decade of Software Model Checking with SLAM.

The article discusses what the authors call a SLAM engine, software code that lets computer programmers set usage rules regarding state and check to see if clients are conforming to those rules. One application for the SLAM engine devised by the authors is a static driver verifier (SDV) that verifie...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 54; no. 7; pp. 68 - 77
Main Authors:	BALL, THOMAS, LEVIN, VLADIMIR, RAJAMANI, SRIRAM K.
Format:	Article
Published:	Association for Computing Machinery Jul2011
Subjects:	Application program interfaces Microsoft operating systems Computer programming Compilers (Computer programs) Computer software Computer software quality control
Online Access:	View this record in EBSCOhost