TESLA: Temporally Enhanced System Logic Assertions

No ratings

Presented at EuroSys 2014 by

Robert Watson

Jonathan Anderson

David Chisnall

Khilan Gudka

Ilias Marinosi

Brooks Davis

N/A