How We Built Cedar: A Verification-Guided Approach
COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024（2024）
Key words
formal methods,fuzz testing,differential testing,policy authorization language,interactive theorem proving
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined