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...
Main Authors: | Adams, S, Bjoerk, M, Melham, T, Seger, C |
---|---|
Format: | Conference item |
Published: |
IEEE
2007
|
Similar Items
-
Automatic Abstraction in Symbolic Trajectory Evaluation
by: Adams, S, et al.
Published: (2007) -
Automatic Abstraction in Symbolic Trajectory Evaluation
by: Adams, S, et al.
Published: (2007) -
Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
by: Adams, S
Published: (2014) -
Abstraction by symbolic indexing transformations
by: Melham, T, et al.
Published: (2002) -
Abstraction by Symbolic Indexing Transformations
by: Melham, T, et al.
Published: (2002)