Automating comprehensive safety analysis of concurrent programs using verisoft and TXL

Abstract

In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite efficient, but it also tends to be incomplete. The results pertain only to the observed executions which may constitute just a small subset of all possible executions.

BibTeX

@inproceedings{Dingel-Liang:FSE04,
  author    = {J{\"{u}}rgen Dingel and
               Hongzhi Liang},
  title     = {Automating comprehensive safety analysis of concurrent programs using verisoft and {TXL}},
  booktitle = {FSE},
  pages     = {13--22},
  publisher = {{ACM}},
  year      = {2004},
}

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL

Abstract

Related papers