Formal Techniques for Effective Co-verification of Hardware/Software Co-designs
- Rajdeep Mukherjee
- Mitra Purandare
- et al.
- 2017
- DAC 2017
Conference paper
Publications
3 results for Daniel Kroening
Computing mutation coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2012
- IEEE TCADIS
PaperCoverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Conference paper