Sat-based assistance in abstraction refinement for symbolic trajectory evaluation (2006)
Cached
Download Links
- [www.cs.chalmers.se]
- [www.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
Jan-willem Roorda
,
Koen Claessen
| Venue: | In Computer Aided Verification (CAV |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Roorda06sat-basedassistance,
author = {Jan-willem Roorda and Koen Claessen},
title = {Sat-based assistance in abstraction refinement for symbolic trajectory evaluation},
booktitle = {In Computer Aided Verification (CAV},
year = {2006},
pages = {175--189},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present a SAT-based algorithm for assisting users of Symbolic Trajectory Evaluation (STE) in manual abstraction refinement. As a case study, we demonstrate the usefulness of the algorithm by showing how to refine and verify an STE specification of a CAM. 1
