Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II > CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II |
Alexandra Silva; K. Rustan M. Leino
Springer International Publishing
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
Authors

Xiaomu Shi; Yu-Fu Fu; Jiaxiang Liu; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang

ARI Id

1665328839870_5947641

Access

Open/Free Access

Pages

149-171

DOI

10.1007/978-3-030-81688-9_7

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_7?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-81688-9_7

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings