The Distributed Assertion Framework is a proposed system for checking the correctness of distributed systems implementations at runtime. This work is funded in part by the NSF and is being currently carried out by students at New York University.
The Distributed Assertion Framework is a proposed system for checking the correctness of distributed systems implementations at runtime. This work is funded in part by the NSF and is being currently carried out by students at New York University.