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. :blobfoxcofe_w_:

What’s Decidable About Program Verification Modulo Axioms?
arxiv.org/pdf/1910.10889.pdf

Decidable Synthesis of Programs with Uninterpreted Functions
arxiv.org/pdf/1910.09744.pdf

Decidable Verification of Uninterpreted Programs
arxiv.org/pdf/1811.00192.pdf

@jmw150
That's a lot of trust in you. You should be proud. 😉

@jmw150
Read the first page, think about it very hard and find the thing to improve on and discard the other 132

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.