Conference item
Automatic abstraction in symbolic trajectory evaluation
- Abstract:
-
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 modelchecking run. This provides a flexible way to achieve partitioned data abstraction. It is usually called "symbolic indexing' and is widely used in memory verification, but has seen relatively ...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Funding
Bibliographic Details
- Publisher:
- IEEE Publisher's website
- Host title:
- Formal Methods in Computer Aided Design (FMCAD)
- Journal:
- Formal Methods in Computer Aided Design (FMCAD) Journal website
- Pages:
- 127-135
- Publication date:
- 2007-12-01
- DOI:
- ISBN-10:
- 0769530230
- ISBN-13:
- 9780769530239
Item Description
- Keywords:
- Pubs id:
-
pubs:328618
- UUID:
-
uuid:cd7ccf44-4911-4f37-8645-1426202096ce
- Local pid:
- pubs:328618
- Source identifiers:
-
328618
- Deposit date:
- 2018-01-14
Terms of use
- Copyright holder:
- IEEE
- Copyright date:
- 2007
- Notes:
- © 2007 IEEE. This is the accepted manuscript version of the article. The final version is available online from IEEE at: 10.1109/FAMCAD.2007.27
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record