What’s Decidable About Program Verification Modulo Axioms?

From MaRDI portal
Publication:5164172

DOI10.1007/978-3-030-45237-7_10zbMath1483.68200arXiv1910.10889OpenAlexW3021960956MaRDI QIDQ5164172

P. Madhusudan, Umang Mathur, Mahesh Viswanathan

Publication date: 10 November 2021

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.10889




Related Items (1)


Uses Software


Cites Work


This page was built for publication: What’s Decidable About Program Verification Modulo Axioms?