TESLA: temporally enhanced system logic assertions.

Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos, Brooks Davis

Browse the full EuroSys paper archive.