Automatic Abstraction in Symbolic Trajectory Evaluation

Symbolic trajectory evaluation (STE) is a model checking technology based on symbolic simulation over a lattice of abstract state sets. The STE algorithm operates over families of these abstractions encoded by Boolean formulas, enabling verification with many different abstraction cases in a single...

Повний опис

Бібліографічні деталі
Автори:	Adams, S, Bj�rk, M, Melham, T, Seger, C
Формат:	Conference item
Опубліковано:	IEEE 2007

Automatic abstraction in symbolic trajectory evaluation за авторством Adams, S, Bjoerk, M, Melham, T, Seger, C

Опубліковано 2007

Conference item

Automatic Abstraction in Symbolic Trajectory Evaluation за авторством Adams, S, Björk, M, Melham, T, Seger, C

Опубліковано 2007

Conference item

Automatic Abstraction in Symbolic Trajectory Evaluation

Automatic abstraction in symbolic trajectory evaluation за авторством Adams, S, Bjoerk, M, Melham, T, Seger, C

Automatic Abstraction in Symbolic Trajectory Evaluation за авторством Adams, S, Björk, M, Melham, T, Seger, C

Схожі ресурси