Logical Characterization of Coherent Uninterpreted Programs

Govind V K, Hari; Shoham, Sharon; Gurfinkel, Arie

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

Record link:

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

Title:

Logical Characterization of Coherent Uninterpreted Programs

Citation:

Govind V K, H., Shoham, S., & Gurfinkel, A. (2021). Logical Characterization of Coherent Uninterpreted Programs. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 77–85). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_16

reposiTUm DOI:

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

CatalogPlus:

AC17204273

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Govind V K, Hari
Shoham, Sharon
Gurfinkel, Arie

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering