Certified Decision Procedures for Width-Independent Bitvector Predicates

Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser. Certified Decision Procedures for Width-Independent Bitvector Predicates. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):2736-2758, 2025. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.