Coverage in interpolation-based model checking

Hana Chockler, Daniel Kroening, Mitra Purandare

Research output: Chapter in Book/Report/Conference proceedingConference paper

12 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 47th Design Automation Conference, DAC 2010
Place of PublicationNew York
PublisherACM
Pages182-187
Number of pages6
VolumeN/A
EditionN/A
ISBN (Print)9781450300025
DOIs
Publication statusPublished - 2010

Cite this