Export Citations
1 Results for: Keyword: Abstract interpretation
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,766,029 records)|Limit your search to The ACM Full-Text Collection (758,843 records)
Showing 1 - 1of1 Results
- articleDecember 2015
Scalable and scope-bounded software verification in Varvel
- Franjo Ivančić,
- Gogul Balakrishnan,
- Aarti Gupta,
- Sriram Sankaranarayanan,
- Naoto Maeda,
- Takashi Imoto,
- Rakesh Pothengil,
- Mustafa Hussain
Automated Software Engineering (KLU-AUSE), Volume 22, Issue 4Pages 517–559https://doi.org/10.1007/s10515-014-0164-0Software model checking and static analysis have matured over the last decade, enabling their use in automated software verification. However, lack of scalability makes these tools hard to apply in industry practice. Furthermore, approximations in the ...