| Title: | Static Analysis to Enhance the Power of Model Checking for Concurrent Software |
|---|---|
| Links: | Homepage |
| Authors: | Edmund Clarke |
| Daniel Kroening EMail | |
| Thomas Reps | |
| Remarks: | |
| Topics: |
Bibtex:
@incollection{ckr2007,
AUTHOR = { Clarke, Edmund
and Kroening, Daniel
and Reps, Thomas },
TITLE = { Static Analysis to Enhance the Power of Model Checking for Concurrent Software },
BOOKTITLE = { Department of Defense Sponsored Information Security Research },
YEAR = { 2007 },
PUBLISHER = { Wiley },
PAGES = { 349--360 },
ISBN = { 0-471-78756-6 },
MONTH = { July },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.