Interprocedural Analysis and the Verification of Concurrent Programs

Simple item page
dc.contributor.authorLal, Akashen_US
dc.date.accessioned2012-03-15T17:30:05Z
dc.date.available2012-03-15T17:30:05Z
dc.date.created2009en_US
dc.date.issued2009en_US
dc.description.abstractIn 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 automateden_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR1662en_US
dc.identifier.urihttp://digital.library.wisc.edu/1793/60770
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleInterprocedural Analysis and the Verification of Concurrent Programsen_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR1662.pdf
Size:
1.92 MB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports