@收款{zbMATH07498178，作者={Shi，Xiaomu and Fu，Yu-Fu and Liu，Jishiang and Tsai，Ming-Hsien and Wang，Bow-Yaw and Yang，Bo-Yin}，Title={{CoqQFBV}：一个可扩展的认证{SMT}无量词位向量解算器}，BookTitle={计算机辅助验证。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分}，国际标准图书编号={978-3-030-81687-2；978-3-0.30-81688-9}，Pages={149-171}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-81688-9_7}，关键词={68V15,68Q60}，zbMATH＝{7498178}，Zbl={1493.68387}}