Yusuf's Thoughts
Search
Search
Dark mode
Light mode
Explorer
boostan
5 items with this tag.
Jun 16, 2026
L12 - Control-Flow Graphs
program-verification
cfg
boostan
formal-methods
May 28, 2026
L11 - Nondeterminism: Havoc and Assume
program-verification
nondeterminism
boogie
boostan
formal-methods
May 26, 2026
L10 - Array Theory and Arrays in Boostan
program-verification
arrays
smt
boostan
formal-methods
Apr 30, 2026
L06 - Boogie and Boostan
program-verification
boogie
boostan
intermediate-language
formal-methods
May 05, 2025
L07 - Relational Semantics
program-verification
semantics
boostan
relational-semantics
formal-methods