Home → Magazine Archive → July 2011 (Vol. 54, No. 7) → A Decade of Software Model Checking with SLAM → Abstract

A Decade of Software Model Checking with SLAM

By Thomas Ball, Vladimir Levin, Sriram K. Rajamani

Communications of the ACM, Vol. 54 No. 7, Pages 68-76
10.1145/1965724.1965743

[article image]


SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.

The full text of this article is premium content

0 Comments

No entries found