Yusuf's Thoughts
Search
Search
Dark mode
Light mode
Explorer
nondeterminism
1 item with this tag.
May 28, 2026
L11 - Nondeterminism: Havoc and Assume
program-verification
nondeterminism
boogie
boostan
formal-methods