Número de Documento     
Artículo:

Software model checking using languages of nested trees

Autor:

Rajeev Alur

Resumen:

While model checking of pushdown systems is by now an established technique in software verification, temporal logics and automata traditionally used in this area are unattractive on two counts. First, logics and automata traditionally used in model

Página:

15

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

33

Número:

5

Periodo:

2011

ISSN:

01640925

SrcID:

01640925-2011-05.txt

Número de Documento