Bílý, Aurel
- Compositional Reasoning for Side-effectful Iterators and Iterator Adapters
2022/10/18 by Aurel Bílý, Bílý, Aurel, Jonas Hansen +5 · 1 citation
Computer Science · #68Q60 #Advanced Software Engineering Methodologies #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
2025/03/27 by Zachary Grannan, Grannan, Zachary, Aurel Bílý +11 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Logic, programming, and type systems #Formal Methods in Verification