Session 9: Research Issues (2)

Hybrid Fault Algorithms, by Pat Lincoln, SRI International

Model Checking, by David Dill, Stanford University