DSValidator: an automated counterexample reproducibility tool for digital systems
An automated counterexample reproducibility tool based on MATLAB is presented, called DSValidator, with the goal of reproducing counterexamples that refute specific properties related to digital systems. We exploit counterexamples generated by the Digital System Verifier (DSVerifier), which is a mod...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2018
|