Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
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...
| Vydáno v: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Hlavní autor: | |
| Médium: | Článek |
| Jazyk: | English |
| Témata: |