Interprocedural Analysis and the Verification of Concurrent Programs
Show full item record
File(s):
- Author(s)
-
Lal, Akash
- Publisher
- University of Wisconsin-Madison Department of Computer Sciences
- Date
- Mar 15, 2012
- Abstract
- 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/60770
- Export
-
Export to RefWorks
Part of
Show full item record
