Interprocedural Analysis and the Verification of Concurrent Programs

dc.contributor.author	Lal, Akash	en_US
dc.date.accessioned	2012-03-15T17:30:05Z
dc.date.available	2012-03-15T17:30:05Z
dc.date.created	2009	en_US
dc.date.issued	2009	en_US
dc.identifier.citation	TR1662	en_US
dc.identifier.uri	http://digital.library.wisc.edu/1793/60770
dc.description.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	en_US
dc.format.mimetype	application/pdf	en_US
dc.publisher	University of Wisconsin-Madison Department of Computer Sciences	en_US
dc.title	Interprocedural Analysis and the Verification of Concurrent Programs	en_US
dc.type	Technical Report	en_US

CS Technical Reports
Technical Reports Archive for the Department of Computer Sciences at the University of Wisconsin-Madison