Follow
My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now. 
What’s Decidable About Program Verification Modulo Axioms?
https://arxiv.org/pdf/1910.10889.pdf
Decidable Synthesis of Programs with Uninterpreted Functions
https://arxiv.org/pdf/1910.09744.pdf
Decidable Verification of Uninterpreted Programs
https://arxiv.org/pdf/1811.00192.pdf
@jmw150
Read the first page, think about it very hard and find the thing to improve on and discard the other 132
@jmw150
That's a lot of trust in you. You should be proud. 😉