Interprocedural Analysis and the Verification of Concurrent Programs
File(s)
Date
2009Author
Lal, Akash
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordAbstract
In the modern world, not only is software getting larger and more complex, it is also becoming pervasive in our daily lives. On the one hand, the advent of multi-core processors is pushing software towards becoming more concurrent, making it more complex. On the other hand, software is everywhere, inside nuclear reactors, space shuttles, cars, traffic signals, cell phones, etc. To meet this demand for software, we need to invest in automated
Permanent Link
http://digital.library.wisc.edu/1793/60770Citation
TR1662