Shah, Bhakti
- VyZX: Formal Verification of a Graphical Quantum Language
2023/11/20 by Adrian Lehmann, Lehmann, Adrian, Ben Caldwell +9 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
- How We Built Cedar: A Verification-Guided Approach
2024/07/01 by Craig Disselkoen, Disselkoen, Craig, Aaron Eline +22 · 1 citation
Engineering · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Tunneling and Rock Mechanics