Verified Isabelle/HOL tactic for the theory of bounded integers based on quantifier instantiation and SMT

Saved in:
Bibliographic Details
Published inTrudy Instituta sistemnogo programmirovaniâ Vol. 32; no. 2; pp. 107 - 124
Main Authors Sadykov, Rafael Faritovich, Mandrykin, Mikhail Usamovich
Format Journal Article
LanguageEnglish
Published 2020
Online AccessGet full text
ISSN2079-8156
2220-6426
DOI10.15514/ISPRAS-2020-32(2)-9

Cover

More Information
ISSN:2079-8156
2220-6426
DOI:10.15514/ISPRAS-2020-32(2)-9