| Title: | Verifying Digital Systems with MATLAB |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Lennon Chaves |
| Iury Bessa | |
| Lucas Cordeiro | |
| Eddie Lima | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{cbclk2017,
AUTHOR = { Chaves, Lennon
and Bessa, Iury
and Cordeiro, Lucas
and Lima, Eddie
and Kroening, Daniel },
TITLE = { Verifying Digital Systems with {MATLAB} },
BOOKTITLE = { International Symposium on Software Testing and Analysis (ISSTA) },
YEAR = { 2017 },
PUBLISHER = { ACM },
PAGES = { 388--391 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.