Yusuf's Thoughts
Search
Search
Dark mode
Light mode
Explorer
boogie
2 items with this tag.
May 28, 2026
L11 - Nondeterminism: Havoc and Assume
program-verification
nondeterminism
boogie
boostan
formal-methods
Apr 30, 2026
L06 - Boogie and Boostan
program-verification
boogie
boostan
intermediate-language
formal-methods