Progress in Certifying Hardware Model Checking Results

Emily Yu, Armin Biere, Keijo Heljanko

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
EditorsAlexandra Silva, K. Rustan M. Leino
Number of pages24
Place of PublicationCham
PublisherSpringer Nature Switzerland AG
Publication date2021
ISBN (Print)978-3-030-81687-2
ISBN (Electronic)978-3-030-81688-9
Publication statusPublished - 2021
MoE publication typeA4 Article in conference proceedings
Event33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online
Duration: 20 Jul 202123 Jul 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12760 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fields of Science

  • 113 Computer and information sciences

Cite this