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...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Software engineering notes. 29, 6 (2004).
المؤلف الرئيسي:	Dingel, Juergen
التنسيق:	مقال
اللغة:	الإنجليزية
الموضوعات:	Software. Software engineering. Software / Program Verification. Formal methods. Programming techniques. Concurrent programming. Parallel programming. Theory of computation. Logics and meanings of programs. Specifying and verifying and reasoning about programs. Invariants. Assertions. Logics of programs. Verification. TXL. VeriSoft. Past-time linear temporal logic. Run-time monitoring. Safety analysis. Software model checking. Source code transformation.