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

Full description

Bibliographic Details
Main Authors: Adams, S, Bjoerk, M, Melham, T, Seger, C
Format: Conference item
Published: IEEE 2007

Similar Items