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...
| Izdano u: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Glavni autor: | |
| Format: | Članak |
| Jezik: | English |
| Teme: |