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