Towards Compositional Hardware Model Checking Certification

Yu, Emily; Froleyks, Nils; Biere, Armin; Heljanko, Keijo

doi:10.34727/2023/isbn.978-3-85448-060-0_12

Record link:

http://hdl.handle.net/20.500.12708/188763
https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_12

Title:

Towards Compositional Hardware Model Checking Certification

Citation:

Yu, E., Froleyks, N., Biere, A., & Heljanko, K. (2023). Towards Compositional Hardware Model Checking Certification. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 44–54). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_12

reposiTUm DOI:

10.34727/2023/isbn.978-3-85448-060-0_12

CatalogPlus:

AC17203718

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Yu, Emily
Froleyks, Nils
Biere, Armin
Heljanko, Keijo

Editors:

Nadel, Alexander
Rozier, Kristin Yvonne