1. BAB,,ć DOMAGOJ
Information acquired: 2025
BAB,,ć DOMAGOJ is an academic who published a paper in 2008 entitled Exploiting structure for scalable software verification. BAB,,ć DOMAGOJ published this work as part of a team: Domagoj, Babić. Here is a description of this work: Software bugs are expensive. Recent estimates by the US National Institute of Standards and Technology claim that the cost of software bugs to the US economy alone is approximately 60 billion USD annually. As society becomes increasingly software-dependent, bugs also reduce our productivity and threaten our safety and security. Decreasing these direct and indirect costs represents a significant research challenge as well as an opportunity for businesses. Automatic software bug-finding and verification tools have a potential to completely revolutionize the software engineering industry by improving reliability and decreasing development costs. Since software analysis is in general undecidable, automatic tools have to use various abstractions to make the analysis computationally tractable. Abstraction is a double-edged sword: coarse abstractions, in general, yield easier v.
