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...

Popoln opis

Bibliografske podrobnosti
Main Authors: Adams, S, Bj�rk, M, Melham, T, Seger, C
Format: Conference item
Izdano: IEEE 2007