| Title: | Thread-modular Counter Abstraction for Parameterized Program Safety | Authors: | Pani, Thomas Weissenbacher, Georg Zuleger, Florian |
Editors: | Ivrii, Alexander Strichman, Ofer |
Issue Date: | 2020 | Book Title: | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 | Series: | Conference Series: Formal Methods in Computer-Aided Design | Keywords: | computer-aided system design | URI: | http://hdl.handle.net/20.500.12708/15509 http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_13 |
DOI: | 10.34727/2020/isbn.978-3-85448-042-6_13 | License: |  CC BY 4.0 |
Publication Type: | Inproceedings |
| Appears in Collections: | Open Access Series Conference Paper |
Files in this item:
Adobe PDF
(433.68 kB)
Published version
Page view(s)
105
checked on Nov 30, 2021
Download(s)
50
checked on Nov 30, 2021
Google ScholarTM
Check
This item is licensed under a
Creative Commons License
