Documents 6.852: Distributed Algorithms Spring, 2008

6.852: Distributed Algorithms Spring, 2008 Class 25-2 Today’s plan Partially synchronous (timed) distributed systems Models for timed systems Proof methods Mutual exclusion…

Documents Black-box conformance testing for real-time systems

Black-box conformance testing for real-time systems Stavros Tripakis VERIMAG Joint work with Moez Krichen Black-box conformance testing Specification SUT (system under test)…