bibliographer - Kenneth L. McMillan

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Interpolants from Z3 Proofs Kenneth L. McMillan [github]

Automated Assumption Generation for Compositional Verification Anubhav Gupta Kenneth L. McMillan Zhaohui Fu [github]

Abstractions from Proofs Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Kenneth L. McMillan [github]

Beautiful Interpolants Aws Albarghouthi Kenneth L. McMillan [github]

On Solving Universally Quantified Horn Clauses Nikolaj Bjørner Kenneth L. McMillan Andrey Rybalchenko [github]

Lazy abstraction with interpolants Kenneth L. McMillan [github]

Ivy: safety verification by interactive generalization Oded Padon Kenneth L. McMillan Aurojit Panda Mooly Sagiv Sharon Shoham [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]