Avoiding state enumeration in dynamic checking of distributed programs
Distributed programs are particularly vulnerable to software faults. Bugs in these programs are usually very hard to detect without automatic verification. The idea of checking an expected property in a given distributed program run (also referred to as runtime verification) has recently been attrac...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2008
|
| Online Access: | http://spectrum.library.concordia.ca/975869/1/NR37743.pdf Al Maghayreh, Eslam <http://spectrum.library.concordia.ca/view/creators/Al_Maghayreh=3AEslam=3A=3A.html> (2008) Avoiding state enumeration in dynamic checking of distributed programs. PhD thesis, Concordia University. |