Sign in
CN: Verifying Systems C Code with Separation-Logic Refinement Types.
Christopher Pulte
Dhruv C. Makwana
Thomas Sewell
Kayvan Memarian
Peter Sewell
Neel Krishnaswami
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
asynchronous circuits
retrieval systems
management system
building blocks
case study
expert systems
learning systems
intelligent systems
distributed systems
database
website
artificial intelligence
machine learning
data mining
databases
modal logic
real time