Export Citations
1 Results for: Keyword: automatic prover
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,796,707 records)|Limit your search to The ACM Full-Text Collection (767,634 records)
Select All
- demonstrationOctober 2011
A HIP and SLEEK verification system
OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companionPages 9–10https://doi.org/10.1145/2048147.2048152The HIP and SLEEK systems are aimed at automatic verification of functional correctness of heap manipulating programs. HIP is a separation logic based automated verification system for a simple imperative language, able to modularly verify the ...