Publications

3 results for Daniel Kroening

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