| Title: | DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Lennon Chaves |
| Iury Bessa | |
| Lucas Cordeiro | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{cbck2018,
AUTHOR = { Chaves, Lennon
and Bessa, Iury
and Cordeiro, Lucas
and Kroening, Daniel },
TITLE = { {DSValidator}: An Automated Counterexample Reproducibility Tool for Digital Systems },
BOOKTITLE = { Hybrid Systems: Computation and Control (HSCC) },
YEAR = { 2018 },
PUBLISHER = { ACM },
PAGES = { 253--258 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.