Export Citations
1 Results for: Keyword: Learning invariants
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,790,162 records)|Limit your search to The ACM Full-Text Collection (766,447 records)
Select All
- research-articleAugust 2016
Inferring annotations for device drivers from verification histories
ASE '16: Proceedings of the 31st IEEE/ACM International Conference on Automated Software EngineeringPages 450–460https://doi.org/10.1145/2970276.2970305This paper studies and optimizes automated program verification. Detailed reasoning about software behavior is often facilitated by program invariants that hold across all program executions. Finding program invariants is in fact an essential step in ...