CocoAlma: A Versatile Masking Verifier

Hadžić, Vedad; Bloem, Roderick

doi:10.34727/2021/isbn.978-3-85448-046-4_9

Record link:

http://hdl.handle.net/20.500.12708/18618
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_9

Title:

Citation:

Hadžić, V., & Bloem, R. (2021). CocoAlma: A Versatile Masking Verifier. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 14–23). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_9

reposiTUm DOI:

10.34727/2021/isbn.978-3-85448-046-4_9

CatalogPlus:

AC17204475

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Hadžić, Vedad
Bloem, Roderick

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering