Efficient Runtime Detection and Toleration of Asymmetric Races

DOI10.1109/TC.2011.48zbMath1365.68093MaRDI QIDQ5277630

Paruj Ratanaworabhan, Martin Burtscher, Karthik Pattabiraman, Rahul Nagpal, Darko Kirovski, Benjamin G. Zorn

Publication date: 12 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Automated formal analysis and verification: an overview

This page was built for publication: Efficient Runtime Detection and Toleration of Asymmetric Races