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...
| Published in: | Software engineering notes. 29, 6 (2004). |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: |