Progress in Certifying Hardware Model Checking Results

Emily Yu; Armin Biere; Keijo Heljanko

doi:10.1007/978-3-030-81688-9_17

Progress in Certifying Hardware Model Checking Results

Emily Yu, Armin Biere, Keijo Heljanko

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Editors	Alexandra Silva, K. Rustan M. Leino
Number of pages	24
Place of Publication	Cham
Publisher	Springer Nature Switzerland AG
Publication date	2021
Pages	363-386
ISBN (Print)	978-3-030-81687-2
ISBN (Electronic)	978-3-030-81688-9
DOIs	https://doi.org/10.1007/978-3-030-81688-9_17
Publication status	Published - 2021
MoE publication type	A4 Article in conference proceedings
Event	33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online Duration: 20 Jul 2021 → 23 Jul 2021

Publication series

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

Fields of Science

113 Computer and information sciences

Access to Document

10.1007/978-3-030-81688-9_17Licence: CC BY

Yu2021_Chapter_ProgressInCertifyingHardwareMoFinal published version, 1.56 MBLicence: CC BY

Cite this

Yu, E., Biere, A., & Heljanko, K. (2021). Progress in Certifying Hardware Model Checking Results. In A. Silva, & K. R. M. Leino (Eds.), Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (pp. 363-386). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12760 LNCS). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-81688-9_17

Yu, Emily ; Biere, Armin ; Heljanko, Keijo. / Progress in Certifying Hardware Model Checking Results. Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. editor / Alexandra Silva ; K. Rustan M. Leino. Cham : Springer Nature Switzerland AG, 2021. pp. 363-386 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d68e361aae104e2c9cfa29a004652a89,

title = "Progress in Certifying Hardware Model Checking Results",

keywords = "113 Computer and information sciences",

author = "Emily Yu and Armin Biere and Keijo Heljanko",

year = "2021",

doi = "10.1007/978-3-030-81688-9_17",

language = "English",

isbn = "978-3-030-81687-2",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Nature Switzerland AG",

pages = "363--386",

editor = "Alexandra Silva and Leino, {K. Rustan M.}",

booktitle = "Computer Aided Verification",

address = "Switzerland",

note = "33rd International Conference on Computer Aided Verification, CAV 2021 ; Conference date: 20-07-2021 Through 23-07-2021",

}

Yu, E, Biere, A & Heljanko, K 2021, Progress in Certifying Hardware Model Checking Results. in A Silva & KRM Leino (eds), Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12760 LNCS, Springer Nature Switzerland AG, Cham, pp. 363-386, 33rd International Conference on Computer Aided Verification, CAV 2021, Virtual, Online, 20/07/2021. https://doi.org/10.1007/978-3-030-81688-9_17

Progress in Certifying Hardware Model Checking Results. / Yu, Emily; Biere, Armin; Heljanko, Keijo.
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. ed. / Alexandra Silva; K. Rustan M. Leino. Cham: Springer Nature Switzerland AG, 2021. p. 363-386 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12760 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Progress in Certifying Hardware Model Checking Results

AU - Yu, Emily

AU - Biere, Armin

AU - Heljanko, Keijo

PY - 2021

Y1 - 2021

KW - 113 Computer and information sciences

U2 - 10.1007/978-3-030-81688-9_17

DO - 10.1007/978-3-030-81688-9_17

M3 - Conference contribution

AN - SCOPUS:85115873567

SN - 978-3-030-81687-2

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 363

EP - 386

BT - Computer Aided Verification

A2 - Silva, Alexandra

A2 - Leino, K. Rustan M.

PB - Springer Nature Switzerland AG

CY - Cham

T2 - 33rd International Conference on Computer Aided Verification, CAV 2021

Y2 - 20 July 2021 through 23 July 2021

ER -

Yu E, Biere A, Heljanko K. Progress in Certifying Hardware Model Checking Results. In Silva A, Leino KRM, editors, Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Cham: Springer Nature Switzerland AG. 2021. p. 363-386. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-81688-9_17