Sciweavers

PLDI
2010
ACM

Parameterized Verification of Transactional Memories

13 years 7 months ago
Parameterized Verification of Transactional Memories
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main contribution is a technique for effectively verifying parameterized systems. The technique merges ideas from parameterized hardware and protocol verification--verification by invisible invariants and symmetry reduction--with ideas from software verification--template-based invariant generation and satisfiability checking for quantified formul
Michael Emmi, Rupak Majumdar, Roman Manevich
Added 02 Sep 2010
Updated 02 Sep 2010
Type Conference
Year 2010
Where PLDI
Authors Michael Emmi, Rupak Majumdar, Roman Manevich
Comments (0)