Número de Documento     
Artículo:

A Decade of Software Model Checking with SLAM

Autor:

Thomas Ball

Vladimir Levin

Sriram K. Rajamani

Resumen:

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

Página:

68

Publicación:

Communications of the ACM

Volúmen:

54

Número:

7

Periodo:

julio 2011

ISSN:

00010782

SrcID:

00010782-2011-07.txt

Número de Documento