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...
| Argitaratua izan da: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Egile nagusia: | |
| Formatua: | Artikulua |
| Hizkuntza: | English |
| Gaiak: |